List of ordinals: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
Line 69:
** \( \zeta \), the supremum of all eventually writable ordinals = the least \( \Sigma_2 \)-extendible ordinal
** \( \Sigma \), the supremum of all accidentally writable ordinals = the least target of \( \Sigma_2 \)-stability
* The least ordinal in \(E_1\)
* The least ordinal in \(E_\eta\), for \(\eta > 1\)<ref name="Welch2010Draft" />
* The least admissible \(\alpha\) so that \(L_\alpha\) satisfies arithmetically quasi-induction = the least admissible \(\alpha\) so that, for all \(x \in \mathcal{P}(\omega) \cap L_\alpha\), there are \(\xi, \sigma < \alpha\) so that \(L_\xi[x] \prec_{\Sigma_2} L_\sigma[x]\)<ref name="Welch2010Draft" />
|