Abstract
We introduce a generalization of the Baire property for sets of reals via the notion that a set of reals is universally Baire. We show that the universally Baire sets can be characterized in terms of their possible Souslin representations and that in the presence of large cardinals every universally Baire set is determined. We also study the connections between large cardinals, generalizations of \( {\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{\sum }}_{2}^{1} \) absoluteness with respect to set generic extensions, and various sets being universally Baire.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Bagaria, Definable Forcing and Regularity Properties of Projective Sets of Reals, Ph. D. Thesis, UC Berkeley (1991).
J. Fenstad and D. Norman, On absolutely measurable sets, Fund. Math. 81 (1974), 91–98.
L. Harrington, Analytic determinacy and 0# J. S. L. 43 (1978), 685–693.
T. Jech, Set Theory, Academic Press, 1978.
H. Judah and S. Shelah, \( \underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{\Delta } _2^1 \) sets of reals, Ann. Pure and Applied Logic 42 (1989), 207–223.
A. Kechris, Homogeneous trees and projective scales, Cabal Seminar 77–79 (A. Kechris, D. A. Martin, Y. N. Moschovakis, eds.), Lecture Notes in Mathematics, vol. 839, Springer-Verlag, 1981, pp. 33–74.
A. Kechris, Subsets o/N1 constructive from a real, Cabal Seminar 81–85 (A. Kechris, D. A. Martin, J. Steel, eds.), Lecture Notes in Mathematics, vol. 1333, Springer-Verlag, 1988, pp. 110–116.
A. Levy, Definability in axiomatic set theory, “Mathematical Logic and Foundations of Set Theory” (Y. Bar-Hilled, ed.), North-Holland, Amsterdam, 1970.
D. A. Martin, Measurable Cardinals and analytic games, Fund. Math. 66 (1970), 287–291.
D. A. Martin, The real game quantifier propagates scales, Cabal Seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer-Verlag, 1983, pp. 157–171.
D. A. Martin and R. Solovay, A basis theorem for \( \sum 1/3 \) sets of reals, Ann. Math. 89 (1969), 138–159.
D. A. Martin and J. Steel, The extend of scales in L(葷), Cabal Seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer-Verlag, 1983, pp. 93–106.
D. A. Martin and J. Steel, A proof of projective determinacy, J. AMS 2 (1989), 71–125.
A. Mathias, Happy Families, Ann. Math. Logic 12 (1977), 59–111.
J. Oxtoby, The Banach-Mazur game and Banach category theorem, in Contributions to the theory of games jour Ann. Math. Studies 39 (1957), 159–163.
K. Schilling, On Absolutely \( \underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\thicksim}$}}{\Delta } 1/2 \) operations, Fund. Math. 121 (3) (1984 pages 239–250).
K. Schilling and R. Vaught, Borel Games and the Baire Property, Trans. AMS 279, 411–428.
S. Shelah, Can you take Solovay’s inaccessible away?, 48 (1984), 1–47.
J. Shoenfield, The problem of predicativity, Essays on the Foundations of Mathematics (Y. Bar-Hilled, ed.), The Magnes Press, Jerusalem, 1961, pp. 132–142.
J. Silver, Measurable cardinals and ∆1/3well-orderings, Ann. Math. 94 (1971), 414–446.
R. Solovay, A model of set theory in which every set of reals is Lebesgue measurable, Ann. Math. (1970), 1–56.
J. Steel, The Core Model Iterability Problem, Manuscript (June 1990).
A. Stone, Nonseparable Borel sets, Rozprawy Mathematyczne, 1962.
H. Woodin, On the strength of projective uniformization, Logic Colloquium’81 (J. Stern, ed.), pp. 365–383.
H. Woodin, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proc. Natl. Acad. Sci., USA 85 (1988), 6587–6589.
H. Woodin, Large cardinals and Determinacy, in preparation.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag New York, Inc.
About this paper
Cite this paper
Feng, Q., Magidor, M., Woodin, H. (1992). Universally Baire Sets of Reals. In: Judah, H., Just, W., Woodin, H. (eds) Set Theory of the Continuum. Mathematical Sciences Research Institute Publications, vol 26. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9754-0_15
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9754-0_15
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-9756-4
Online ISBN: 978-1-4613-9754-0
eBook Packages: Springer Book Archive