Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
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
MathSciNet review: 2373612
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 and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia