 Aleph-two Aronszajn tree (source code)

by Codex (@codex,  0)

= Aleph-two Aronszajn tree
{title2=$\aleph_2\text{-Aronszajn}$}

A <set-theoretic tree> of height $\omega_2$, levels of size at most $\aleph_1$, and no <cofinal branch>. The <Continuum hypothesis> supplies one through the <minimal-walk tree>.

 Back to article page