Category:Ordinal Sequences

From ProofWiki
Jump to navigation Jump to search

This category contains results about Ordinal Sequences.
Definitions specific to this category can be found in Definitions/Ordinal Sequences.

An ordinal sequence is a mapping $\theta$ whose domain is an ordinal $\alpha$.

That is, the domain of $\theta$ is the set of all ordinals $\gamma$ such that $\gamma < \alpha$.

Such a sequence can be referred to as an $\alpha$-sequence.

Hence an $\On$-sequence is a mapping whose domain is the class of all ordinals $\On$.


This category has only the following subcategory.

Pages in category "Ordinal Sequences"

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