Essential Kurepa trees versus essential Jech-Kunen trees

DOI10.1016/0168-0072(94)90021-3MaRDI QIDQ1337358zbMATH OpenOpenAlexFDO

Authors Renling Jin, S. Shelah

Publication date 24 April 1995

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9401217

zbMATH Keywords

consistencycontinuum hypothesisJech-Kunen treeKurepa tree

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Abstract: By an omega_1 --tree we mean a tree of size omega_1 and height omega_1. An omega_1 --tree is called a Kurepa tree if all its levels are countable and it has more than omega_1 branches. An omega_1 --tree is called a Jech--Kunen tree if it has kappa branches for some kappa strictly between omega_1 and 2^{omega_1}. A Kurepa tree is called an essential Kurepa tree if it contains no Jech--Kunen subtrees. A Jech--Kunen tree is called an essential Jech--Kunen tree if it contains no Kurepa subtrees. In this paper we prove that (1) it is consistent with CH and 2^{omega_1}> omega_2 that there exist essential Kurepa trees and there are no essential Jech--Kunen trees, (2) it is consistent with CH and 2^{omega_1}> omega_2 plus the existence of a Kurepa tree with 2^{omega_1} branches that there exist essential Jech--Kunen trees and there are no essential Kurepa trees. In the second result we require the existence of a Kurepa tree with 2^{omega_1} branches in order to avoid triviality.

Review text

Am \(\omega_ 1\)-tree is called a Kurepa tree if all its levels are countable and it has more than \(\omega_ 1\) branches; it is called a Jech-Kunen tree if it has \(\kappa\) branches for some \(\kappa\) with \(\omega_ 1 < \kappa < 2^{\omega_ 1}\). A Kurepa tree is said to be essential if it contains no Jech-Kunen subtree, and a Jech-Kunen tree is said to be essential if it contains no Kurepa subtree. In this paper the authors show that it is consistent with \(\text{CH }+2^{\omega_ 1} > \omega_ 2\) that there exist essential Kurepa trees but no essential Jech-Kunen trees, and it is consistent with \(\text{CH }+2^{\omega_ 1} > \omega_ 2\) + (there is a Kurepa tree with \(2^{\omega_ 1}\) branches) that there exist essential Jech-Kunen trees but no essential Kurepa trees.

Recommendations

• The differences between Kurepa trees and Jech-Kunen trees
• A model in which every Kurepa tree is thick
• Some independence results related to the Kurepa tree
• A model in which there are Jech-Kunen trees but there are no Kurepa trees
• Aronszajn and Kurepa trees

Cites work

• A model in which every Kurepa tree is thick
• A model in which there are Jech-Kunen trees but there are no Kurepa trees
• scientific article; zbMATH DE number 3888510 (Why is no real title available?)
• scientific article; zbMATH DE number 3869258 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3805451 (Why is no real title available?)
• Planting Kurepa trees and killing Jech-Кunen trees in a model by using one inaccessible cardinal
• Set theory. An introduction to independence proofs
• Some independence results related to the Kurepa tree
• The differences between Kurepa trees and Jech-Kunen trees
• Trees

Cited in

(15)

• Some independence results related to the Kurepa tree
• A model in which there are Jech-Kunen trees but there are no Kurepa trees
• Can a small forcing create Kurepa trees
• Characterizing the spectra of cardinalities of branches of Kurepa trees
• On the spectra of cardinalities of branches of Kurepa trees
• Reduced powers of ℵ_2-trees
• Isomorphisms of Trees
• The Canary Tree
• scientific article; zbMATH DE number 1743774 (Why is no real title available?)
• Almost Souslin Kurepa trees
• A minimal Kurepa tree with respect to club embeddings
• Kurepa trees and topological non-reflection
• Can You Take Komjath's Inaccessible Away?
• Aronszajn and Kurepa trees
• The differences between Kurepa trees and Jech-Kunen trees

This page was built for publication: Essential Kurepa trees versus essential Jech-Kunen trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337358)