Available in electronic format
Available in print format
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826 (e) ISSN 0002-9939 (p)
     

On a fragment of the universal Baire property for $ \Sigma^1_2$ sets

Author(s): Stuart Zoble
Journal: Proc. Amer. Math. Soc. 136 (2008), 1807-1814.
MSC (2000): Primary 03E45; Secondary 03E35
Posted: January 17, 2008
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: There is a well-known global equivalence between $ \Sigma^1_2$ sets having the universal Baire property, two-step $ \Sigma^1_3$ generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of $ \Sigma^1_2$ sets being $ (2^{\omega})^{+}$-cc-universally Baire, which is below $ 0^{\char93 }$. In a model obtained, there is a $ \Sigma^1_2$ set which is weakly $ \omega_2$-universally Baire but not $ \omega_2$-universally Baire.


References:

[1]
Feng, Q., Magidor, M., Woodin, H., Universally Baire sets of reals, MSRI Pub. 26, 1992, pp. 203-242. MR 1233821 (94g:03095)

[2]
Harrington, L., Shelah, S., Some exact equiconsistency results in set theory, Notre Dame Journal of Formal Logic 26, 1985, pp. 178-188. MR 783595 (86g:03079)

[3]
Räsch, T., Schindler, R., A new condensation principle, Archive for Math. Logic 44 (2005), pp. 159-166. MR 2121257 (2006d:03093)

[4]
Schindler, R., Forcing axioms and projective sets of reals, Proceedings of Foundations of the Formal Sciences III, in: ``Classical and new paradigms of computation and their complexity hierarchies'' (Löwe et al., eds., Kluwer, 2004), pp. 207-222. MR 2156740

[5]
Schindler, R., Proper forcing and remarkable cardinals, Bull. Symbolic Logic 6 (2000), pp. 176-184. MR 1765054 (2001h:03096)

[6]
Schindler, R., Proper forcing and remarkable cardinals II, Journal of Symbolic Logic 66 (2001), pp. 1481-1492. MR 1856755 (2002g:03111)

[7]
Todorcevic, S., Zoble, S., Baire reflection, Trans. Amer. Math. Soc. (to appear).

[8]
Woodin, H., On the strength of projective uniformization, Logic Colloquium '81, J. Stern (ed.), 1982, pp. 365-383.

[9]
Zoble, S., Stationary reflection and the universal Baire property, Fundamenta Mathematicae 191 (2006), no. 1, 45-56. MR 2232195 (2007a:03058)


Similar Articles:

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 03E45, 03E35

Retrieve articles in all Journals with MSC (2000): 03E45, 03E35


Additional Information:

Stuart Zoble
Affiliation: Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 2E4
Email: szoble@math.toronto.edu

DOI: 10.1090/S0002-9939-08-08918-1
PII: S 0002-9939(08)08918-1
Keywords: Generic absoluteness, universal Baire property
Received by editor(s): March 20, 2006
Received by editor(s) in revised form: September 12, 2006
Posted: January 17, 2008
Communicated by: Julia Knight
Copyright of article: Copyright 2008, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google