Jech–Kunen tree

Template:Short description 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

In set theory, a tree is a partially ordered set in which the predecessors of any element form a well-ordering. The height of any element is the order type of this well-ordering, and the height of the tree is the least ordinal number that exceeds the height of all elements. A branch of a tree is a maximal well-ordered subset. A ω₁-tree is a tree with cardinality ${\mathrm{\aleph }}_1$ and height ω₁, where ω₁ is the first uncountable ordinal and ${\mathrm{\aleph }}_1$ is the associated cardinal number. A Jech–Kunen tree is a ω₁-tree in which the number of branches is greater than ${\mathrm{\aleph }}_1$ and less than $2^{{\mathrm{\aleph }}_1}$.

Existence

The generalized continuum hypothesis implies that there is no cardinal number between ${\mathrm{\aleph }}_1$ and $2^{{\mathrm{\aleph }}_1}$; when this is the case, a Jech–Kunen tree cannot exist, because it is required to have a number of branches strictly between these two numbers. Template:Harvs found the first model in which this tree exists, and Template:Harvs showed that, assuming the continuum hypothesis and $2^{{\mathrm{\aleph }}_1}>{\mathrm{\aleph }}_2$ , the existence of a Jech–Kunen tree is equivalent to the existence of a compact Hausdorff space with weight ${\mathrm{\aleph }}_1$ and cardinality strictly between ${\mathrm{\aleph }}_1$ and $2^{{\mathrm{\aleph }}_1}$.

References

• Template:Citation
• Template:Citation
• Template:Citation