Definition:Minimal Infinite Successor Set
Contents
Definition
Definition 1
Let $S$ be an infinite successor set.
The minimal infinite successor set $\omega$ is the infinite successor set given by:
- $\omega := \displaystyle \bigcap \set {S' \subseteq S: \text{$S'$ is an infinite successor set} }$
that is, $\omega$ is the intersection of every infinite successor set which is a subset of $S$.
Definition 2
The minimal infinite successor set $\omega$ is defined as the set of all finite ordinals:
- $\omega := \set {\alpha : \text{$\alpha$ is a finite ordinal} }$
Definition 3
Based on Takeuti
Until this has been finished, please leave {{refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this in more detail, feel free to use the talk page.
Once you have done so, you can remove this instance of {{MissingLinks}} from the code.
The minimal infinite successor set $\omega$ is defined as:
- $\omega := \set {x \in \operatorname{On}: \paren {x \cup \set x} \subseteq K_I}$
where $K_I$ is the class of all non-limit ordinals and $\operatorname{On}$ is the class of all ordinal numbers.
Equivalence of Definitions
As shown in Equivalence of Definitions of Minimal Infinite Successor Set, the definitions above are equivalent.
Also see
- Existence of Minimal Infinite Successor Set, demonstrating from ZF that $\omega$ exists.
- Results about the minimal infinite successor set can be found here.
