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!