From ProofWiki
Jump to navigation Jump to search

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

$\alpha$ is an ordinal if and only if it fulfils the following conditions:

\((1)\)   $:$   $\alpha$ is a transitive set      
\((2)\)   $:$   $\Epsilon {\restriction_\alpha}$ strictly well-orders $\alpha$      

where $\Epsilon {\restriction_\alpha}$ is the restriction of the epsilon relation to $\alpha$.

Pages in category "Ordinals"

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