|
On a fragment of the universal Baire property for sets
Author:
Stuart Zoble
Journal:
Proc. Amer. Math. Soc. 136 (2008), 1807-1814
MSC (2000):
Primary 03E45; Secondary 03E35
Posted:
January 17, 2008
MathSciNet review:
2373612
Full-text PDF
Abstract |
References |
Similar Articles |
Additional Information
Abstract: There is a well-known global equivalence between sets having the universal Baire property, two-step generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of sets being -cc-universally Baire, which is below . In a model obtained, there is a set which is weakly -universally Baire but not -universally Baire.
- [1]
Qi
Feng, Menachem
Magidor, and Hugh
Woodin, Universally Baire sets of reals, Set theory of the
continuum (Berkeley, CA, 1989) Math. Sci. Res. Inst. Publ., vol. 26,
Springer, New York, 1992, pp. 203–242. MR 1233821
(94g:03095), http://dx.doi.org/10.1007/978-1-4613-9754-0_15
- [2]
Leo
Harrington and Saharon
Shelah, Some exact equiconsistency results in set theory,
Notre Dame J. Formal Logic 26 (1985), no. 2,
178–188. MR
783595 (86g:03079), http://dx.doi.org/10.1305/ndjfl/1093870823
- [3]
Thoralf
Räsch and Ralf
Schindler, A new condensation principle, Arch. Math. Logic
44 (2005), no. 2, 159–166. MR 2121257
(2006d:03093), http://dx.doi.org/10.1007/s00153-004-0227-1
- [4]
Ralf
Schindler, Forcing axioms and projective sets of reals,
Classical and new paradigms of computation and their complexity
hierarchies, Trends Log. Stud. Log. Libr., vol. 23, Kluwer Acad.
Publ., Dordrecht, 2004, pp. 207–222. MR
2156740, http://dx.doi.org/10.1007/978-1-4020-2776-5_12
- [5]
Ralf-Dieter
Schindler, Proper forcing and remarkable cardinals, Bull.
Symbolic Logic 6 (2000), no. 2, 176–184. MR 1765054
(2001h:03096), http://dx.doi.org/10.2307/421205
- [6]
Ralf-Dieter
Schindler, Proper forcing and remarkable cardinals. II, J.
Symbolic Logic 66 (2001), no. 3, 1481–1492. MR 1856755
(2002g:03111), http://dx.doi.org/10.2307/2695120
- [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]
Stuart
Zoble, Stationary reflection and the universal Baire property,
Fund. Math. 191 (2006), no. 1, 45–56. MR 2232195
(2007a:03058), http://dx.doi.org/10.4064/fm191-1-3
- [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:
http://dx.doi.org/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
Article copyright:
© Copyright 2008 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.
|