Unbounded-extension kernel of a regular tree

ID: unbounded-extension-kernel-of-a-regular-tree

For a kappa-tree, retain nodes whose extension heights are unbounded in . The retained nodes are predecessor-closed. Each level remains nonempty: otherwise regularity would bound the union of fewer than bounded extension sets. The same argument above a retained node ensures retained extensions at every later level. Singular height invalidates this proof and the unrestricted conclusion.

New to topics? Read the docs here!