Hostname: page-component-75d7c8f48-ck798 Total loading time: 0 Render date: 2026-03-14T13:18:05.995Z Has data issue: false hasContentIssue false

GOLDSTERN’S PRINCIPLE ABOUT UNIONS OF NULL SETS

Part of: Set theory

Published online by Cambridge University Press:  10 December 2025

TATSUYA GOTO*
Affiliation:
INSTITUTE OF DISCRETE MATHEMATICS AND GEOMETRY TU WIEN AUSTRIA

Abstract

Goldstern showed in [7] that the union of a real-parametrized, monotone family of Lebesgue measure zero sets has also Lebesgue measure zero, provided that the sets are uniformly $\boldsymbol {\Sigma }^1_1$. Our aim is to study to what extent we can drop the $\boldsymbol {\Sigma }^1_1$ assumption. We show that Goldstern’s principle for the pointclass $\boldsymbol {\Pi }^1_1$ holds. We show that Goldstern’s principle for the pointclass of all subsets is consistent with $\mathsf {ZFC}$ and show its negation follows from $\mathsf {CH}$. Also we prove that Goldstern’s principle for the pointclass of all subsets holds both under $\mathsf {ZF} + \mathsf {AD}$ and in Solovay models.

MSC classification

Information

Type
Article
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

REFERENCES

Bagaria, J. and Bosch, R., Solovay models and forcing extensions . The Journal of Symbolic Logic, vol. 69 (2004), no. 3, pp. 742766.Google Scholar
Bagaria, J. and Woodin, W. H., ${\underset{\sim }{\Delta }}{}_n^1$ sets of reals . The Journal of Symbolic Logic, vol. 62 (1997), no. 4, pp. 13791428.Google Scholar
Bartoszynski, T. and Judah, H., Set Theory: On the Structure of the Real Line, A K Peters, Wellesley, MA, 1995.Google Scholar
Blass, A., Combinatorial cardinal characteristics of the continuum , M. Foreman, and A. Kanamori, eds., Handbook of Set Theory, Springer, Dordrecht, 2010, pp. 395489.Google Scholar
Chong, C. T. and Yu, L., Recursion Theory, de Gruyter, Berlin/Boston, 2015.Google Scholar
Goldstern, M., Tools for Your Forcing Construction, Weizmann Science Press of Israel, Ramat Gan, 1992.Google Scholar
Goldstern, M., An application of Shoenfield’s absoluteness theorem to the theory of uniform distribution . Monatshefte für Mathematik, vol. 116 (1993), nos. 3–4, pp. 237244.Google Scholar
Halbeisen, L. J., Combinatorial Set Theory, vol. 121, Springer, Cham, 2012.Google Scholar
Kanamori, A., The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, Springer, Berlin, Heidelberg, 2003.Google Scholar
Kechris, A. S., Measure and category in effective descriptive set theory . Annals of Mathematical Logic, vol. 5 (1973), no. 4, pp. 337384.Google Scholar
Moschovakis, Y. N., Descriptive Set Theory, vol. 155, American Mathematical Society, Providence, 2009.Google Scholar
Shelah, S., On measure and category . Israel Journal of Mathematics, vol. 52 (1985), nos. 1–2, pp. 110114.Google Scholar
Steel, J. R., Projectively well-ordered inner models . Annals of Pure and Applied Logic, vol. 74 (1995), no. 1, pp. 77104.Google Scholar
Tanaka, H., Some results in the effective descriptive set theory , Publications of the Research Institute for Mathematical Sciences, Kyoto University. Ser. A 3.1, EMS Press, Berlin, 1967, pp. 1152.Google Scholar
Wohofsky, W., Borel conjecture, dual Borel conjecture, and other variants of the Borel conjecture , M. Scheepers, and O. Zidulka, eds., Centenary of the Borel Conjecture, vol. 755, Contemporary Mathematics, American Mathematical Society, Providence, 2020, pp. 135227.Google Scholar