Abstract
Let \({{\mathcal J}\,(\mathbb M^2)}\) denote the σ-ideal associated with two-dimensional Miller forcing. We show that it is relatively consistent with ZFC that the additivity of \({{\mathcal J}\,(\mathbb M^2)}\) is bigger than the covering number of the ideal of the meager subsets of ω ω. We also show that Martin’s Axiom implies that the additivity of \({{\mathcal J}\,(\mathbb M^2)}\) is 2ω.Finally we prove that there are no analytic infinite maximal antichains in any finite product of \({\mathfrak{P}{(\omega)}/{\rm fin}}\) .
Similar content being viewed by others
References
Brendle, J.: Combinatorial Aspects of the Meager and Null Ideals and of other Ideals on the Reals; Thesis for Habilitation, Eberhard-Karls-Universität Tübingen (1994/95)
Goldstern, M.: Tools for your forcing construction; Set theory of the reals (Ramat Gan, 1991). In: Israel Mathematical Conference Prooceedings, vol. 6, pp. 307–362. Bar Ilan University, Ramat Gan (1992)
Goldstern M., Johnson M.J., Spinas O.: Towers on trees. Proc. Am. Math. Soc. 122(2), 557–564 (1994)
Goldstern M., Repicky M., Shelah S., Spinas O.: On tree ideals. Proc. Am. Math. Soc. 123(5), 1573–1581 (1995)
Jech T.: Set Theory. Academic Press, New York (1978)
Jossen, S., Spinas, O.: A two-dimensional tree ideal. Berichtsreihe des Mathematischen Seminars Kiel, Vol. 00–32 (2000)
Judah H., Miller A., Shelah S.: Sacks forcing, Laver forcing, and Martin’s Axiom. Arch. Math. Log. 31(3), 145–161 (1992)
Kechris A.: On a notion of smallness for subsets of the Baire space. Trans. Am. Math. Soc. 229, 191–207 (1977)
Koppelberg, S.: Handbook of Boolean Algebras. In: Monk, J.D. (Eds.) Vol. 1. North Holland, Amsterdam, New York, Oxford (1989)
Kunen K.: Set Theory. An Introduction to Independence Proofs. North Holland, Amsterdam, New York, Oxford (1990)
Louveau A., Shelah S., Velickovic B.: Borel partitions of infinite subtrees of a perfect tree. Ann. Pure Appl. Log. 63(3), 271–281 (1993)
Marczewski E.: Sur une classe de fonctions de W. Sierpiński et la classe correspondante d’ensembles. Fundam. Math. 24, 17–37 (1935)
Mathias A.R.D.: Happy families. Ann. Math. Log. 12, 59–111 (1977)
Miller A.: Rational perfect set forcing. Contemp. Math. 31, 143–159 (1984)
Rothberger F.: On the property C and a problem of Hausdorff. Can. J. Math. 4, 111–116 (1952)
Shelah S.: Proper Forcing. Lecture Notes in Mathematics, vol. 940. Springer, Berlin (1982)
Shelah S., Spinas O.: The distributivity numbers of finite products of \({\mathfrak{P}{(\omega)}/{\rm fin}}\) . Fundam. Math. 158, 81–93 (1998)
Spinas O.: Generic trees. J. Symbol. Log. 60, 705–726 (1995)
Spinas O.: Ramsey and freeness properties of Polish planes. Proc. Lond. Math. Soc. 82, 31–63 (2001)
Spinas O.: Canonical behaviour of Borel functions on superperfect rectangles. J. Math. Log. 1(2), 173–220 (2001)
Spinas O.: Partitioning products of \({\mathfrak{P}{(\omega)}/{\rm fin}}\) . Pac. J. Math. 176(1), 249–262 (1996)
Velickovic B.: ccc posets of perfect trees. Compos. Math. 79, 279–294 (1991)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Spinas, O., Thiele, S. Additivity of the two-dimensional Miller ideal. Arch. Math. Logic 49, 617–658 (2010). https://doi.org/10.1007/s00153-010-0190-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-010-0190-y