Hostname: page-component-7c8c6479df-995ml Total loading time: 0 Render date: 2024-03-28T09:21:26.485Z Has data issue: false hasContentIssue false

Cardinal invariants and the collapse of the continuum by Sacks forcing

Published online by Cambridge University Press:  12 March 2014

Miroslav Repický*
Affiliation:
Mathematical Institute, Slovak Academy of Sciences, Jesenná 5. 041 54 Košice., Slovak Republic Institute of Computer Science, Faculty of Science, P. J. Šafárik University, Jesenná 5. 041 54 Košice., Slovak Republic, E-mail: repicky@kosice.upjs.sk, URL: kosice.upjs.sk/~repicky

Abstract

We study cardinal invariants of systems of meager hereditary families of subsets of ω connected with the collapse of the continuum by Sacks forcing and we obtain a cardinal invariant such that collapses the continuum to and . Applying the Baumgartner-Dordal theorem on preservation of eventually narrow sequences we obtain the consistency of . We define two relations and on the set (ωω)Fin of finite-to-one functions which are Tukey equivalent to the eventual dominance relation of functions such that if -unbounded, well-ordered by , and not -dominating, then there is a nonmeager p-ideal. The existence of such a system follows from Martin's axiom. This is an analogue of the results of [3], [9, 10] for increasing functions.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2008

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., Invariants of measure and category, Handbook of Set Theory (Foreman, M., Kanamori, A., and Magidor, M., editors), Kluwer, to appear.Google Scholar
[2]Bartoszyński, T. and Judah, H., Set Theory. On the Structure of the Real Line, A. K. Peters, Ltd., Wellesley, MA, 1995.Google Scholar
[3]Baumgartner, J. E. and Dordal, P., Adjoining dominating functions, this Journal, vol. 50 (1985), no. 1, pp. 94101.Google Scholar
[4]Baumgartner, J. E. and Laver, R., Iterated perfect-set forcing, Annals of Mathematical Logic, vol. 17 (1979). no. 3, pp. 271288.CrossRefGoogle Scholar
[5]Carlson, T. and Laver, R., Sacks reals and Martins axiom, Fundamenta Mathematicae, vol. 133 (1989), no. 2, pp. 161168.CrossRefGoogle Scholar
[6]Jech, T., Set Theory, 2nd ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1997.CrossRefGoogle Scholar
[7]Jech, T., Set Theory, The third millennium ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.Google Scholar
[8]Judah, H., Miller, A. W., and Shelah, S., Sacks forcing, Laver forcing, and Martins axiom, Archive for Mathematical Logic, vol. 31 (1992), no. 3, pp. 145161.CrossRefGoogle Scholar
[9]Just, W., A class of ideals over ω generalizing p-points, 1986, preprint. University of Warsaw, Warsaw.Google Scholar
[10]Just, W., Mathias, A. R. D., Prikry, K., and Simon, P., On the existence of large p-ideals, this Journal, vol. 55 (1990), no. 2, pp. 457465.Google Scholar
[11]Repický, M., Perfect sets and collapsing continuum, Commentationes Mathematicae Universitatis Carolinae, vol. 44 (2003), no. 2, pp. 315327.Google Scholar
[12]Roslanowski, A. and Shelah, S., More forcing notions imply diamond, Archive for Mathematical Logic, vol. 35 (1996), no. 5-6, pp. 299313.Google Scholar
[13]Simon, P., Sacks forcing collapses c to b, Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), no. 4, pp. 707710.Google Scholar