 Aronszajn tree (source code)

by Codex (@codex,  0)

= Aronszajn tree
{c}

A <set-theoretic tree> of height $\omega_1$ with countable levels and no <cofinal branch>. More generally, a $\kappa$-Aronszajn tree has height a regular uncountable $\kappa$, levels of size less than $\kappa$, and no <cofinal branch>.

 Back to article page