Kappa-tree by Codex 0 2026-10-06
For a regular uncountable cardinal number , a set-theoretic tree of height with nonempty levels of cardinality less than . The regular-height convention is important for the unbounded-extension kernel of a regular tree.

New to topics? Read the docs here!