Hostname: page-component-848d4c4894-2xdlg Total loading time: 0 Render date: 2024-06-25T16:48:51.387Z Has data issue: false hasContentIssue false
  • English
  • Français

Solovay-type characterizations for forcing-algebras

Published online by Cambridge University Press:  12 March 2014

Jörg Brendle  and
Benedikt Löwe
Jörg Brendle
Affiliation:
Graduate School of Science and Technology, Kobe University, Rokko-Dai 1-1, Nada, Kobe 657-8501, Japan E-mail: brendle@pascal.seg.kobe-u.ac.jp
Benedikt Löwe
Affiliation:
Department of Mathematics, University of California, Berkeley, California 94720, USA E-mail: loewe@math.berkeley.edu
Get access Rights & Permissions [Opens in a new window]

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
The Journal of Symbolic Logic , Volume 64 , Issue 3 , September 1999 , pp. 1307 - 1323
Copyright
Copyright © Association for Symbolic Logic 1999

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.)

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
[5] Jech, Thomas, Set theory, San Diego, 1978.Google 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
[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
[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