Special Aronszajn tree
ID: special-aronszajn-tree
An Aronszajn tree that is a union of countably many tree antichains. Equivalently, it admits a map into a countable set that is injective on each chain.
New to topics? Read the docs here!
New to topics? Read the docs here!