Access the full text.
Sign up today, get DeepDyve free for 14 days.
S. Shelah, Renling Jin (1993)
A model in which there are Jech-Kunen trees but there are no Kurepa treesIsrael Journal of Mathematics, 84
Renling Jin (1991)
A model in which every Kurepa Tree is thinckNotre Dame J. Formal Log., 33
Renling Jin (1991)
Some Independence Results Related to the Kurepa TreeNotre Dame J. Formal Log., 32
S. Todorcevic (1984)
Trees and Linearly Ordered Sets
I. Juhász (1984)
Cardinal Functions II
W. Weiss (1984)
Versions of Martin's Axiom
Renling Jin, S. Shelah (1992)
Planting Kurepa trees and killing Jech-Kunen trees in a model by using one inaccessible cardinalarXiv: Logic
J. Baumgartner (1983)
Surveys in set theory
Matemáticas (2010)
Set Theory: An Introduction to Independence Proofs
By an ω1 we mean a tree of power ω1 and height ω1. An ω1-tree is called a Kurepa tree if all its levels are countable and it has more than ω1 branches. An ω1-tree is called a Jech-Kunen tree if it has κ branches for some κ strictly between ω1 and $$2^{\omega _1 }$$ . In Sect. 1, we construct a model ofCH plus $$2^{\omega _1 } > \omega _2$$ , in which there exists a Kurepa tree with not Jech-Kunen subtrees and there exists a Jech-Kunen tree with no Kurepa subtrees. This improves two results in [Ji1] by not only eliminating the large cardinal assumption for [Ji1, Theorem 2] but also handling two consistency proofs of [Ji1, Theorem 2 and Theorem 3] simultaneously. In Sect. 2, we first prove a lemma saying that anAxiom A focing of size ω1 over Silver's model will not produce a Kurepa tree in the extension, and then we apply this lemma to prove that, in the model constructed for Theorem 2 in [Ji1], there exists a Jech-Kunen tree and there are no Kurepa trees.
Archive for Mathematical Logic – Springer Journals
Published: Mar 17, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.