Uniformization and internal absoluteness

Müller, Sandra; Schlicht, Philipp

doi:10.1090/proc/16155

Uniformization and internal absoluteness
HTML articles powered by AMS MathViewer

by Sandra Müller and Philipp Schlicht;

Proc. Amer. Math. Soc. 151 (2023), 3089-3102

DOI: https://doi.org/10.1090/proc/16155

Published electronically: April 13, 2023

HTML | PDF | Request permission

Abstract:

Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a given ideal. We prove that for all $\sigma$-ideals $I$ such that the ideal forcing $\mathbb {P}_I$ of Borel sets modulo $I$ is proper, this uniformization principle is equivalent to an absoluteness principle for projective formulas with respect to $\mathbb {P}_I$ that we call internal absoluteness. In addition, we show that it is equivalent to measurability with respect to $I$ together with $1$-step absoluteness for the poset $\mathbb {P}_I$. These equivalences are new even for Cohen and random forcing and they are, to the best of our knowledge, the first precise equivalences between regularity and absoluteness beyond the second level of the projective hierarchy.

References

Joan Bagaria, Generic absoluteness, Book draft.
Joan Bagaria, Definable forcing and regularity properties of projective sets of reals, Ph.D. Thesis, University of California at Berkeley, 1991.
Joan Bagaria, Axioms of generic absoluteness, Logic Colloquium ’02, Lect. Notes Log., vol. 27, Assoc. Symbol. Logic, La Jolla, CA, 2006, pp. 28–47. MR 2258701
Tomek Bartoszyński and Haim Judah, Set theory, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR 1350295, DOI 10.1201/9781439863466
Jörg Brendle, Amoeba-absoluteness and projective measurability, J. Symbolic Logic 58 (1993), no. 4, 1284–1290. MR 1253922, DOI 10.2307/2275143
Fabiana Castiblanco and Philipp Schlicht, Preserving levels of projective determinacy by tree forcings, Ann. Pure Appl. Logic 172 (2021), no. 4, Paper No. 102918, 34. MR 4183293, DOI 10.1016/j.apal.2020.102918
William Chan and Menachem Magidor, When a relation with all Borel sections will be Borel somewhere?, Proc. Amer. Math. Soc. 150 (2022), no. 2, 833–847. MR 4356190, DOI 10.1090/proc/15687
Márton Elekes and Máté Pálfy, On various notions of universally Baire sets and reflection of non-Baire property in compact sets, In preparation, 2022.
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, DOI 10.1007/978-1-4613-9754-0_{1}5
Lorenz Halbeisen and Haim Judah, Mathias absoluteness and the Ramsey property, J. Symbolic Logic 61 (1996), no. 1, 177–194. MR 1380682, DOI 10.2307/2275603
Kai Hauser, The consistency strength of projective absoluteness, Ann. Pure Appl. Logic 74 (1995), no. 3, 245–295. MR 1346111, DOI 10.1016/0168-0072(94)00041-Z
Daisuke Ikegami, Projective absoluteness for Sacks forcing, Arch. Math. Logic 48 (2009), no. 7, 679–690. MR 2563709, DOI 10.1007/s00153-009-0143-5
Daisuke Ikegami, Forcing absoluteness and regularity properties, Ann. Pure Appl. Logic 161 (2010), no. 7, 879–894. MR 2601017, DOI 10.1016/j.apal.2009.10.005
Daisuke Ikegami, Determinacy and regularity properties for idealized forcings, MLQ Math. Log. Q. 68 (2022), no. 3, 310–317. MR 4472780, DOI 10.1002/malq.202100045
Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
Haim Judah, Absoluteness for projective sets, Logic Colloquium ’90 (Helsinki, 1990) Lecture Notes Logic, vol. 2, Springer, Berlin, 1993, pp. 145–154. MR 1279839
Haim Judah and Andrzej Rosłanowski, On Shelah’s amalgamation, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 385–414. MR 1234285
Vladimir Kanovei and Vassily Lyubetsky, On intermediate extensions of generic extensions by a random real, Preprint, arXiv:1811.10568, 2018.
Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
Yurii Khomskii, Regularity properties and definability in the real number continuum, Ph.D. Thesis, Universiteit van Amsterdam, 2012.
Kenneth Kunen, Random and Cohen reals, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 887–911. MR 776639
Sandra Müller, Philipp Schlicht, David Schrittesser, and Thilo Weinert, Lebesgue’s density theorem and definable selectors for ideals, Israel J. Math. 249 (2022), no. 2, 501–551. MR 4462640, DOI 10.1007/s11856-022-2312-8
Itay Neeman and Zach Norwood, Coding along trees and generic absoluteness, Preprint.
Kenneth Schilling and Robert Vaught, Borel games and the Baire property, Trans. Amer. Math. Soc. 279 (1983), no. 1, 411–428. MR 704624, DOI 10.1090/S0002-9947-1983-0704624-8
Ralf-Dieter Schindler, Proper forcing and remarkable cardinals. II, J. Symbolic Logic 66 (2001), no. 3, 1481–1492. MR 1856755, DOI 10.2307/2695120
Ralf Schindler, Set theory, Universitext, Springer, Cham, 2014. Exploring independence and truth. MR 3243739, DOI 10.1007/978-3-319-06725-4
David Schrittesser and Asger Törnquist, The Ramsey property implies no mad families, Proc. Natl. Acad. Sci. USA 116 (2019), no. 38, 18883–18887. MR 4012549, DOI 10.1073/pnas.1906183116
Saharon Shelah, Can you take Solovay’s inaccessible away?, Israel J. Math. 48 (1984), no. 1, 1–47. MR 768264, DOI 10.1007/BF02760522
Robert M. Solovay, The cardinality of $\Sigma ^1_2$ sets of reals, Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel (J. J. Bulloff, T. C. Holyoke, and S. W. Hahn, eds.), Springer Berlin Heidelberg, 1969, pp. 58–73.
Robert M. Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2) 92 (1970), 1–56. MR 265151, DOI 10.2307/1970696
John R. Steel, The derived model theorem, Logic Colloquium 2006 (S. Barry Cooper, Herman Geuvers, Anand Pillay, and Jouko Väänänen, eds.), Lecture Notes in Logic, Cambridge University Press, 2009, pp. 280–327.
Trevor Wilson, On forcing projective generic absoluteness from strong cardinals, Preprint, arXiv:1807.02206, 2018.
Trevor M. Wilson, Universally Baire sets and generic absoluteness, J. Symb. Log. 82 (2017), no. 4, 1229–1251. MR 3743609, DOI 10.1017/jsl.2017.35
W. Hugh Woodin, On the consistency strength of projective uniformization, Proceedings of the Herbrand symposium (Marseilles, 1981) Stud. Logic Found. Math., vol. 107, North-Holland, Amsterdam, 1982, pp. 365–384. MR 757040, DOI 10.1016/S0049-237X(08)71895-0
Jindřich Zapletal, Forcing idealized, Cambridge Tracts in Mathematics, vol. 174, Cambridge University Press, Cambridge, 2008. MR 2391923, DOI 10.1017/CBO9780511542732