Abstract
We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from the consistency of a proper class of supercompact cardinals. This extends earlier results due to the author showing that the consistency of the theory “\({{\rm ZF} + \neg{\rm AC}_\omega}\) + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from hypotheses stronger in consistency strength than a supercompact limit of supercompact cardinals. A lower bound in consistency strength is provided by a result of Busche and Schindler, who showed that the consistency of the theory “ZF + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” implies the consistency of ADL(R).
Similar content being viewed by others
References
Abraham U.: Aronszajn trees on \({\aleph_2}\) and \({\aleph_3}\). Ann. Pure Appl. Log. 24, 213–230 (1983)
Apter A.: Some new upper bounds in consistency strength for certain choiceless large cardinal patterns. Arch. Math. Log. 31, 201–205 (1992)
Apter A.: Some results on consecutive large cardinals. Ann. Pure Appl. Log. 25, 1–17 (1983)
Apter A.: Some results on consecutive large cardinals II: Applications of Radin forcing. Israel J. Math. 52, 273–292 (1985)
Busche D., Schindler R.: The strength of choiceless patterns of singular and weakly compact cardinals. Ann. Pure Appl. Log. 159, 198–248 (2009)
Cummings J., Foreman M.: The tree property. Adv. Math 133, 1–32 (1998)
Foreman M., Magidor M., Schindler R.: The consistency strength of successive cardinals with the tree property. J. Symb. Log. 66, 1837–1847 (2001)
Hamkins J.D.: Gap forcing. Israel J. Math 125, 237–252 (2001)
Hamkins J.D.: Gap forcing: Generalizing the Lévy-Solovay theorem. Bull. Symb. Log. 5, 264–272 (1999)
Jech T.: Set Theory: The Third Millennium Edition, Revised and Expanded. Springer, Berlin (2003)
Laver R.: Making the supercompactness of κ indestructible under κ-directed closed forcing. Israel J. Math. 29, 385–388 (1978)
Lévy A., Solovay R.: Measurable cardinals and the Continuum Hypothesis. Israel J. Math 5, 234–248 (1967)
Magidor M., Shelah S.: The tree property at successors of singular cardinals. Arch. Math. Log. 35, 385–404 (1996)
Mitchell W.: Aronszajn trees and the independence of the transfer property. Ann. Math. Log. 5, 21–46 (1972/73)
Schindler R.: Weak covering and the tree property. Arch. Math. Log. 38, 515–520 (1999)
Silver J.: Some applications of model theory in set theory. Ann. Math. Log. 3, 45–110 (1971)
Sinapova, D.: The tree property at \({\aleph_{\omega + 1}}\). J. Symb. Log. (Submitted)
Author information
Authors and Affiliations
Corresponding author
Additional information
Arthur W. Apter’s research was partially supported by PSC-CUNY grants. He wishes to thank Ralf Schindler for helpful correspondence on the subject matter of this paper which considerably improved and clarified its presentation.
Rights and permissions
About this article
Cite this article
Apter, A.W. A remark on the tree property in a choiceless context. Arch. Math. Logic 50, 585–590 (2011). https://doi.org/10.1007/s00153-011-0233-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0233-z