Jech–Kunen tree

A Jech–Kunen tree is a set-theoretic tree with properties that are incompatible with the generalized continuum hypothesis. It is named after Thomas Jech and Kenneth Kunen, both of whom studied the possibility and consequences of its existence.

Definition

A ω₁-tree is a tree with cardinality ${\displaystyle \aleph _{1}}$ and height ω₁, where ω₁ is the first uncountable ordinal and ${\displaystyle \aleph _{1}}$ is the associated cardinal number. A Jech–Kunen tree is a ω₁-tree in which the number of branches is greater than ${\displaystyle \aleph _{1}}$ and less than ${\displaystyle 2^{\aleph _{1}}}$.

Existence

Thomas Jech (1971) found the first model in which this tree exists, and Kenneth Kunen (1975) showed that, assuming the continuum hypothesis and ${\displaystyle 2^{\aleph _{1}}>\aleph _{2}}$ , the existence of a Jech–Kunen tree is equivalent to the existence of a compact Hausdorff space with weight ${\displaystyle \aleph _{1}}$ and cardinality strictly between ${\displaystyle \aleph _{1}}$ and ${\displaystyle 2^{\aleph _{1}}}$.

References

• Jech, Thomas J. (1971), "Trees", Journal of Symbolic Logic, 36: 1–14, doi:10.2307/2271510, MR 0284331
• Kunen (1975), "On the cardinality of compact spaces", Notices of the AMS, 22: 212
• Jin, Renling (1993), "The differences between Kurepa trees and Jech-Kunen trees", Archive for Mathematical Logic, 32: 369–379