Abstract
We prove that the Solovay set Σ is absolutely definable in a sufficiently wide sense; in particular, Σ does not depend on the choice of the ground model.
Similar content being viewed by others
References
Solovay R. M., “A model of set theory in which every set of reals is Lebesgue measurable,” Ann. Math., vol. 92, 1–56 (1970).
Grigorieff S., “Intermediate submodels and generic extensions of set theory,” Ann. Math., vol. 101, 447–490 (1975).
Zapletal J., “Terminal notions in set theory,” Ann. Pure Appl. Logic, vol. 109, no. 1–2, 89–116 (2001).
Kanamori A., The Higher Infinite. Large Cardinals in Set Theory from Their Beginnings, Springer-Verlag, Berlin (2003).
Jech T., Set Theory. The Third Millennium Revised and Expanded, Springer-Verlag, Berlin (2003).
Kanovei V. G. and Lyubetsky V. A., “Generalization of one construction by Solovay,” Sib. Math. J., vol. 56, no. 6, 1072–1079 (2015).
Kanovei V. G. and Lyubetsky V. A., “A generic property of the Solovay set Σ,” Sib. Math. J., vol. 58, no. 6, 1012–1014 (2017).
Fuchs G., Hamkins J. D., and Reitz J., “Set-theoretic geology,” Ann. Pure Appl. Logic, vol. 166, no. 4, 464–501 (2015).
Kanovei V. and Lyubetsky V., “On Harrington’s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami,” 2018. 21 p. Eprint arXiv 1810.12542.
Kanovei V. and Lyubetsky V., “On intermediate extensions of generic extensions by a random real,” 2018. 11 p. arXiv1811.10568.
Kanovei V. G. and Lyubetsky V. A., “On some classical problems of descriptive set theory,” Russian Math. Surveys, vol. 58, no. 5, 839–927 (2003).
Gordon E. I., “On extension of the Haar measure in sigma-compact groups,” 1981. 26 pp. Submitted to VINITI. No. 1244–81.
Kanovei V. G. and Lyubetsky V. A., “An effective minimal encoding of uncountable sets,” Sib. Math. J., vol. 52, no. 5, 854–863 (2011).
Kanovei V., “Non-Glimm—Effros equivalence relations at second projective level,” Fundam. Math., vol. 154, no. 1, 1–35 (1997).
Kanovei V. G. and Lyubetsky V. A., Modern Set Theory: Absolutely Unsolvable Classical Problems [Russian], MTsNMO, Moscow (2013).
Jech T. J., Set Theory and the Method of Forcing [Russian translation], Mir, Moscow (1973).
Author information
Authors and Affiliations
Corresponding authors
Additional information
The authors are indebted to the anonymous referee for the valuable remarks that made it possible to expand and improve the exposition, in particular, to add Question 7.
Russian Text © The Author(s), 2019, published in Sibirskii Matematicheskii Zhurnal, 2019, Vol. 60, No. 6, pp. 1286–1290.
V. G. Kanovei was supported by the Russian Foundation for Basic Research (Grant 17-01-00705). V. A. Lyubetsky was supported by the Russian Foundation for Basic Research (Grant 18—29—13037).
Rights and permissions
About this article
Cite this article
Kanovei, V.G., Lyubetsky, V.A. Absoluteness of the Solovay Set Σ. Sib Math J 60, 1003–1006 (2019). https://doi.org/10.1134/S0037446619060089
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446619060089