Abstract
We present a model where ω 1 is inaccessible by reals, Silver measurability holds for all sets but Miller and Lebesgue measurability fail for some sets. This contributes to a line of research started by Shelah in the 1980s and more recently continued by Schrittesser and Friedman (see [7]), regarding the separation of different notions of regularity properties of the real line.
Similar content being viewed by others
References
Bartoszyński T., Judah H.: Set Theory-on the Structure of the Real Line. AK Peters, Wellesley (1999)
Brendle J., Löwe B.: Solovay-type characterizations for forcing-algebra. J. Symb. Logic 64, 1307–1323 (1999)
Brendle J., Löwe B., Halbeisen L.J.: Silver measurability and its relation to other regularity properties. Math. Proc. Camb. Philos. Soc. 138, 135–149 (2005)
Ikegami D.: Forcing absoluteness and regularity properties. Ann. Pure Appl. Logic 161, 879–894 (2010)
Judah, H., Roslanowsky, A.: On Shelah’s amalgamation. In: Israel Mathematical Conference Proceedings, Vol. 6, pp. 385–414 (1993)
Khomskii, Y.: Regularity properties and definability in the real number continuum. ILLC Dissertation Series DS-2012-04 (2012)
Schrittesser, D.: Projective measure without projective baire. Ph.D. thesis, Universität Wien (2010). Written under the supervision of Sy D. Friedman
Shelah S.: Can you take Solovay’s inaccessible away?. Isr. J. Math. 48, 1–47 (1985)
Shelah S.: On measure and category. Isr. J. Math. 52, 110–114 (1985)
Shelah S., Judah H.: \({\Delta^{1}_{2}}\) -sets of reals. Ann. Pure Appl. Logic 42, 207–223 (1989)
Solovay R.M.: A model of set theory in which every set of reals is Lebesgue measurable. Ann. Math. 92, 1–56 (1970)
Spinas O.: Generic trees. J. Symb. Logic 60(3), 705–726 (1995)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Laguzzi, G. On the separation of regularity properties of the reals. Arch. Math. Logic 53, 731–747 (2014). https://doi.org/10.1007/s00153-014-0386-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0386-7