A well-pruned set-theoretic tree of height has the property that every node extends to every higher level below : if , there is of height with . Equivalently, the heights of extensions of every node are unbounded in , since taking predecessors then gives an extension at any prescribed intermediate level. This is stronger than merely having no terminal nodes. For a kappa-tree we use the usual regular uncountable height cardinal and levels of size less than that cardinal.

Articles by others on the same topic (0)

There are currently no matching articles.