Suslin tree
= Suslin tree
{c}
An <Aronszajn tree> with no uncountable <tree antichain>. A normal splitting <Suslin tree> yields a <Suslin line> by a lexicographic ordering followed by <Dedekind completion>.
= Suslin tree
{c}
An <Aronszajn tree> with no uncountable <tree antichain>. A normal splitting <Suslin tree> yields a <Suslin line> by a lexicographic ordering followed by <Dedekind completion>.