Abstract
We show that \({{\bf \Sigma}^1_3}\)-absoluteness for Sacks forcing is equivalent to the non-existence of a \({{\bf \Delta}^1_2}\) Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to \({{\bf \Sigma}^1_3}\) forcing absoluteness.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Bagaria, J.: Definable forcing and regularity properties of projective sets of reals. Ph.D. thesis, University of California, Berkeley (1991)
Bartoszyński T., Judah H.: Set theory. On the structure of the real line. A K Peters Ltd., Wellesley (1995)
Brendle J.: Amoeba-absoluteness and projective measurability. J. Symb. Log. 58(4), 1284–1290 (1993)
Brendle, J.: How small can the set of generics be? In: Logic Colloquium ’98 (Prague), Lect. Notes Log., vol. 13, pp. 109–126. Assoc. Symbol. Logic, Urbana, IL (2000)
Brendle J., Löwe B.: Solovay-type characterizations for forcing-algebras. J. Symbol. Log. 64(3), 1307–1323 (1999)
Geschke, S., Quickert, S.: On sacks forcing and the sacks property. In: Classical and New Paradigms of Computation and their Complexity Hierarchies. Trends Log. Stud. Log. Libr., vol. 23, pp. 95–139. Kluwer Acad. Publ., Dordrecht (2004)
Halbeisen L., Judah H.: Mathias absoluteness and the Ramsey property. J. Symbol. Log. 61(1), 177–194 (1996)
Jech, T.: Set theory. Springer Monographs in Mathematics. Springer-Verlag, Berlin (2003). The third millennium edition, revised and expanded
Judah, H.: Absoluteness for projective sets. In: Logic Colloquium ’90 (Helsinki, 1990). Lecture Notes Logic, vol. 2, pp. 145–154. Springer, Berlin (1993)
Judah H., Shelah S.: \({\Delta^1_2}\)-sets of reals. Ann. Pure Appl. Log. 42(3), 207–223 (1989)
Kondô M.: Sur l’uniformisation des complémentaires analytiques et les ensembles projectifs de la seconde classe. Japan J. Math. 15, 197–230 (1939)
Mansfield R.: Perfect subsets of definable sets of real numbers. Pacific J. Math. 35, 451–457 (1970)
Martin D.A., Steel J.R.: A proof of projective determinacy. J. Am. Math. Soc. 2(1), 71–125 (1989)
Moschovakis Y.N.: Uniformization in a playful universe. Bull. Am. Math. Soc. 77, 731–736 (1971)
Moschovakis Y.N.: Descriptive Set Theory. Studies in Logic and the Foundations of Mathematics. Vol. 100. North-Holland Publishing Co, Amsterdam (1980)
Sacks, G.E.: Forcing with perfect closed sets. In: Axiomatic Set Theory (Proc. Sympos. Pure Math., vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967), pp. 331–355. Amer. Math. Soc., Providence, R.I. (1971)
Shelah S.: Can you take Solovay’s inaccessible away?. Israel J. Math. 48(1), 1–47 (1984)
Shoenfield, J.R.: The problem of predicativity. In: Essays on the Foundations of Mathematics, pp. 132–139. Magnes Press, Hebrew Univ., Jerusalem (1961)
Solovay, R.M.: On the cardinality of \({\Sigma _{2}^{1}}\) sets of reals. In: Foundations of Mathematics (Symposium Commemorating Kurt Gödel, Columbus, Ohio, 1966), pp. 58–73. Springer, New York (1969)
Woodin, W.H.: On the consistency strength of projective uniformization. In: Proceedings of the Herbrand symposium (Marseilles, 1981). Stud. Logic Found. Math., vol. 107, pp. 365–384. North-Holland, Amsterdam (1982)
Acknowledgments
The author would like to thank Joan Bagaria, through whose lecture in Kobe he became interested in forcing absoluteness. He also appreciates the help given by Yasuo Yoshinobu, who gave him useful comments on this paper and made the proof of Theorem 3.1 very simple. He is grateful to Jörg Brendle for helpful comments on Remark 3.2. Finally, he thanks the referee for several comments on this paper. This research was supported by a GLoRiClass fellowship funded by the European Commission (Early Stage Research Training Mono-Host Fellowship MEST-CT-2005-020841).
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Ikegami, D. Projective absoluteness for Sacks forcing. Arch. Math. Logic 48, 679–690 (2009). https://doi.org/10.1007/s00153-009-0143-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-009-0143-5