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!