Abstract
By an ω1-tree we mean a tree of power ω1 and height ω1. We call an ω1-tree a Jech-Kunen tree if it hask-many branches for somek strictly between ω1 and 2ω1. In this paper we construct the models of CH plus 2ω1 > ω2, in which there are Jech-Kunen trees and there are no Kurepa trees.
Similar content being viewed by others
References
[Je1] T. Jech,Trees, J. Symbolic Logic36 (1971), 1–14.
[Je2] T. Jech,Set Theory, Academic Press, New York, 1978.
[Ji1] R. Jin,Some independence results related to the Kurepa tree, Notre Dame J. Formal Logic32 (1991), 448–457.
[Ji2] R. Jin,A model in which every Kurepa tree is thick, Notre Dame J. Formal Logic33 (1992), 120–125.
[Ju] I. Juhász,Cardinal functions II, inHandbook of Set Theoretic Topology (K. Kunen and J. E. Vaughan ed.), North-Holland, Amsterdam, 1984, pp. 63–110.
[K1] K. Kunen,On the cardinality of compact spaces, Notices Amer. Math. Soc.22 (1975), 212.
[K2] K. Kunen,Set Theory, An Introduction to Independence Proofs, North-Holland, Amsterdam, 1980.
[S1] S. Shelah,Proper Forcing, Springer-Verlag, Berlin, 1982.
[S2] S. Shelah, New version ofProper Forcing, to appear.
[T] S. Todorčević,Trees and linearly ordered sets, inHandbook of Set Theoretic Topology (K. Kunen and J. E. Vaughan, eds.), North-Holland, Amsterdam, 1984, pp. 235–293.
Author information
Authors and Affiliations
Corresponding author
Additional information
The research of the first author was partially supported by the Basic Research Fund, Israeli Academy of Science, Publ. No. 466.
Rights and permissions
About this article
Cite this article
Shelah, S., Jin, R. A model in which there are Jech-Kunen trees but there are no Kurepa trees. Israel J. Math. 84, 1–16 (1993). https://doi.org/10.1007/BF02761687
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02761687