Aleph-two Aronszajn tree
ID: aleph-two-aronszajn-tree
A set-theoretic tree of height , levels of size at most , and no cofinal branch. The Continuum hypothesis supplies one through the minimal-walk tree.
New to topics? Read the docs here!
New to topics? Read the docs here!