List of ordinals: Difference between revisions
Jump to navigation
Jump to search
no edit summary
(Seems unusual to see "L_(recursive ordinal) n P(omega) models (a theory of second-order arithmetic)") |
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 \(
* 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" />
* Least \(\beta\) where \(L_\beta\) starts a chain of \(\Sigma_3\)-elementary substructures <ref name="Welch2010Draft" />
|