Assertion: tree | /r/Synonym | aronszajn trees
Facets:
Source sentences:
text: On the other hand, it is a theorem of ZFC that there are uncountable trees with no uncountable branches and no uncountable levels; such trees are known as Aronszajn trees.