Equivalence of Definitions of Ordinal/Definition 3 is equivalent to Definition 4
Jump to navigation
Jump to search
Theorem
The following definitions of the concept of Ordinal are equivalent:
Definition 3
An ordinal is a strictly well-ordered set $\struct {\alpha, \prec}$ such that:
- $\forall \beta \in \alpha: \alpha_\beta = \beta$
where $\alpha_\beta$ is the initial segment of $\alpha$ determined by $\beta$:
- $\alpha_\beta = \set {x \in \alpha: x \prec \beta}$
Definition 4
$\alpha$ is an ordinal if and only if:
- $\alpha$ is an element of every superinductive class.
Proof
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Sources
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $5$: Ordinal Numbers: $\S 2$ Ordinals and transitivity: Exercise $2.3$