Category:Extending Operations

From ProofWiki
Jump to navigation Jump to search

This category contains results about Extending Operations.

Let $S$ denote the class of all ordinal sequences.

Let $E: S \to S$ be a mapping whose behaviour is such that:

for all $\theta \in S$: if $\theta$ has length $\alpha$, then $\map E \theta$ has length $\alpha^+$

where $\alpha^+$ is the successor ordinal of $\alpha$.

Then $E$ is an extending operation.

Pages in category "Extending Operations"

The following 3 pages are in this category, out of 3 total.