Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-25T18:02:06.211Z Has data issue: false hasContentIssue false
  • English
  • Français

Mathias absoluteness and the Ramsey property

Published online by Cambridge University Press:  12 March 2014

Lorenz Halbeisen  and
Haim Judah
Lorenz Halbeisen
Affiliation:
Departement Mathematik, ETH Zentrum, 8092 Zürich, Switzerland, E-mail: halbeis@math.ethz.ch
Haim Judah
Affiliation:
Department of Mathematics, Bar-Ilan University, 52900 Ramat Gan, Israel, E-mail: judah@bimacs.cs.biu.ac.il
Get access Rights & Permissions [Opens in a new window]

Abstract

In this article we give a forcing characterization for the Ramsey property of -Sets of reals. This research was motivated by the well-known forcing characterizations for Lebesgue measurability and the Baire property of -sets of reals. Further we will show the relationship between higher degrees of forcing absoluteness and the Ramsey property of projective sets of reals.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 61 , Issue 1 , March 1996 , pp. 177 - 194
Copyright
Copyright © Association for Symbolic Logic 1996

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, T. and Judah, H., Set theory: the structure of the real line.CrossRefGoogle Scholar
[2]Baumgartner, J. E., Iterated forcing, Surveys in set theory (Mathias, A. R. D., editor), Cambridge University Press, London and New York, 1983, pp. 1–59.Google Scholar
[3]Brendle, J., Combinatorial properties of classicalforcing notions, Annals of Pure and Applied Logic, vol. 73 (1995), pp. 143–170.CrossRefGoogle Scholar
[4]Brown, J., The Ramsey sets and related σ-algebras and ideals, Fundamenta Mathematica, vol. 136 (1990), pp. 179–185.CrossRefGoogle Scholar
[5]Corazza, P., Ramsey sets, the Ramsey ideal, and other classes over R, this Journal, vol. 57 (1992), pp. 1441–1468.Google Scholar
[6]Ellentuck, E., A new proof that analytic sets are Ramsey, this Journal, vol. 39 (1974), pp. 163–165.Google Scholar
[7]Erdös, P. and Rado, R., Combinatorial theorems on classifications of subsets of a given set, Proceedings of the London Mathematical Society, vol. 2 (1952), pp. 417–439.CrossRefGoogle Scholar
[8]Goldstern, M., Tools for your forcing construction, Set theory of the reals (Judah, H., editor), Israel Mathematical Conference Proceedings, Bar-Ilan University, 1993, pp. 305–360.Google Scholar
[9]Jech, Th., Set theory, Academic Press, London, 1978.Google Scholar
[10]Jech, Th., Multiple forcing, Cambridge University Press, Cambridge, 1987.CrossRefGoogle Scholar
[11]Judah, H., Exact equiconsistency results for -sets of reals, Archive for Mathematical Logic, vol. 32 (1992), pp. 101–112.CrossRefGoogle Scholar
[12]Judah, H., -sets of reals, Set theory of the reals, Israel Mathematical Conference Proceedings, Bar-Ilan University, 1993, pp. 361–384.Google Scholar
[13]Judah, H., Absoluteness for projective sets, Logic colloquium '90 (Oikkonen, J.et al., editors), Springer-Verlag, Berlin, 1993, pp. 145–154.Google Scholar
[14]Judah, H. and Shelah, S., -sets of reals, Annals of Pure and Applied Logic, vol. 42 (1989), pp. 207–223.Google Scholar
[15]Judah, H. and Shelah, S., -sets of reals, this Journal, vol. 58 (1993), pp. 72–80.Google Scholar
[16]Kunen, K., Set theory, an introduction to independence proofs, North-Holland, Amsterdam, 1983.Google Scholar
[17]Mathias, A. R. D., Happy families, Annals of Mathematical Logic, vol. 12 (1977), pp. 59–111.CrossRefGoogle Scholar
[18]Silver, J., Every analytic set is Ramsey, this Journal, vol. 35 (1970), pp. 60–64.Google Scholar