Article contents
Solovay-type characterizations for forcing-algebras
Published online by Cambridge University Press: 12 March 2014
Abstract
We give characterizations for the (in ZFC unprovable) sentences “Every -set is measurable” and “Every
-set is measurable” for various notions of measurability derived from well-known forcing partial orderings.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1999
References
REFERENCES
[1]
Bartoszyński, Tomek and Judah, Haim, Set theory, On the structure of the real line, Wellesley, 1995.Google Scholar
[2]
Brendle, Jöro, Hjorth, Greg, and Spinas, Otmar, Regularity properties for dominating projective sets, Annals of Pure and Applied Logic, vol. 72 (1995), pp. 291–307.CrossRefGoogle Scholar
[3]
Brendle, Jörg, Judah, Haim, and Shelah, Saharon, Combinatorial properties of Hechler forcing, Annals of Pure and Applied Logic, vol. 58 (1992), pp. 185–199.CrossRefGoogle Scholar
[4]
Goldstern, Martin, Repický, Miroslav, Shelah, Saharon, and Spinas, Otmar, On tree ideals, Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 1573–1581.CrossRefGoogle Scholar
[6]
Judah, Haim (Ihoda, Jaime) and Shelah, Saharon,
-sets of reals, Annals of Pure and Applied Logic, vol. 42 (1989), pp. 207–223.Google Scholar
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20160919075559280-0484:S0022481200013335_inline2.gif?pub-status=live)
[7]
Kechris, Alexander S., On a notion of smallness for subsets of the Baire space, Transactions of the American Mathematical Society, vol. 229 (1977), pp. 191–207.CrossRefGoogle Scholar
[8]
Łabȩdzki, Grzegorz and Repický, Miroslav, Hechler reals, this Journal, vol. 60 (1995), pp. 444–458.Google Scholar
[9]
Laver, Richard, On the consistency of Borel’s conjecture, Acta Mathematica, vol. 137 (1977), pp. 151–169.CrossRefGoogle Scholar
[10]
Marczewski, Edward (Szpilrajn), Sur une classe de fonctions de M. Sierpiński et la classe correspondante d’ensembles, Fundamenta Mathematicae, vol. 24 (1935), pp. 17–34.Google Scholar
[11]
Miller, Arnold W., Some properties of measure and category, Transactions of the American Mathematical Society, vol. 266 (1981), pp. 93–114.CrossRefGoogle Scholar
[12]
Shelah, Saharon, Can you take Solovay’s inaccessible away?, Israel Journal of Mathematics, vol. 48 (1984), pp. 1–47.CrossRefGoogle Scholar
[13]
Solovay, Robert M., The cardinality of Ω
-sets of reals, Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel (Bulloff, Jack J., Holyoke, Thomas C., and Hahn, Samuel W., editors), Berlin, 1969.Google Scholar
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20160919075559280-0484:S0022481200013335_inline1.gif?pub-status=live)
[14]
Solovay, Robert M., A model of set-theory in which every set of reals is Lebesgue measurable. Annals of Mathematics, vol. 92 (1970), pp. 1–56.CrossRefGoogle Scholar
[15]
Spinas, Otmar, Dominating projective sets in the Baire space, Annals of Pure and Applied Logic, vol. 68 (1994), pp. 327–342.CrossRefGoogle Scholar
[16]
Truss, John, Sets having calibre ℵ1
, Logic colloquium '76 (Gandy, R. and Hyland, M., editors), Amsterdam, 1977, PP. 595–612.Google Scholar
- 31
- Cited by