Abstract
Dobrinen, Hathaway and Prikry studied a forcing ℙκ consisting of perfect trees of height λ and width κ where κ is a singular λ-strong limit of cofinality λ. They showed that if κ is singular of countable cofinality, then ℙκ is minimal for ω-sequences assuming that κ is a supremum of a sequence of measurable cardinals. We obtain this result without the measurability assumption.
Prikry proved that ℙκ is (ω, ν)-distributive for all ν < κ given a singular ω-strong limit cardinal κ of countable cofinality, and Dobrinen et al. asked whether this result generalizes if κ has uncountable cofinality. We answer their question in the negative by showing that ℙκ is not (λ, 2)-distributive if κ is a λ-strong limit of uncountable cofinality λ and we obtain the same result for a range of similar forcings, including one that Dobrinen et al. consider that consists of pre-perfect trees. We also show that ℙκ in particular is not (ω, ·, λ+)-distributive under these assumptions.
While developing these ideas, we address natural questions regarding minimality and collapses of cardinals.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
B. Balcar and P. Simon, On collections of almost disjoint families, Commentationes Mathematicae Universitatis Carolinae 29 (1988), 631–646.
B. Balcar and P. Simon, Disjoint refinement, in Handbook of Boolean Algebras, Vol. 2, North-Holland, Amsterdam, 1989, pp. 333–388.
J. E. Baumgartner, Almost-disjoint sets, the dense set problem and the partition calculus, Annals of Mathematical Logic 9 (1976), 401–439.
J. Brendle, A. Brooke-Taylor, S.-D. Friedman and D. C. Montoya, Cichoń’s diagram for uncountable cardinals, Israel Journal of Mathematics 225 (2018), 959–1010.
E. T. Brown and M. J. Groszek, Uncountable superperfect forcing and minimality, Annals of Pure and Applied Logic 144 (2006), 73–82.
L. Bukovský and E. Copláková-Hartová, Minimal collapsing extensions of models of ZFC, Annals of Pure and Applied Logic 46 (1990), 265–298.
J. Cummings, Collapsing successors of singulars, Proceedings of the American Mathematical Society 125 (1997), 2703–2709.
J. Cummings and M. Magidor, Martin’s maximum and weak square, Proceedings of the American Mathematical Society 139 (2011), 3339–3348.
N. Dobrinen, D. Hathaway and K. Prikry, Perfect tree forcings for singular cardinals, Annals of Pure and Applied Logic 171 (2020), Article no. 102827.
S.-D. Friedman and L. Zdomskyy, Measurable cardinals and the cofinality of the symmetric group, Fundamenta Mathematica 207 (2010), 101–122.
M. J. Groszek, Combinatorics on ideals and forcing with trees, Journal of Symbolic Logic 52 (1987), 582–593.
T. Jech, Distributive laws, in Handbook of Boolean Algebras, Vol. 2, North-Holland, Amsterdam, 1989, pp. 317–331.
T. Jech, Set Theory, Springer Monographs in Mathematics, Springer, Berlin, 2003.
T. Jech, Stationary sets, in Handbook of Set Theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 93–128.
A. Kanamori, Perfect-set forcing for uncountable cardinals, Annals of Mathematical Logic 19 (1980), 97–114.
A. Landver, Baire numbers, uncountable Cohen sets and perfect-set forcing, Journal of Symbolic Logic 57 (1992), 1086–1107.
R. Laver, On the consistency of Borel’s conjecture, Acta Mathematica 137 (1976), 151–169.
K. Namba, Independence proof of (ω, ωα)-distributive law in complete Boolean algebras, Commentarii Mathematici Universitatis Sancti Pauli 19 (1971), 1–12.
G. E. Sacks, Forcing with perfect closed sets, in Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13, American Mathematical Society, Providence, RI, 1971, pp. 331–355.
H. Sakai, Semiproper ideals, Fundamenta Mathematica 186 (2005), 251–267.
D. Scott, The independence of certain distributive laws in Boolean algebras, Transactions of the American Mathematical Society 84 (1957), 258–261.
S. Shelah, Proper Forcing, Lecture Notes in Mathematics, Vol. 940, Springer, Berlin–New York, 1982.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution and reproduction in any medium, provided the appropriate credit is given to the original authors and the source, and a link is provided to the Creative Commons license, indicating if changes were made (https://creativecommons.org/licenses/by/4.0/).
Open Access funding enabled and organized by Projekt DEAL.
About this article
Cite this article
Levine, M., Mildenberger, H. Distributivity and minimality in perfect tree forcings for singular cardinals. Isr. J. Math. (2024). https://doi.org/10.1007/s11856-024-2607-z
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s11856-024-2607-z