4
$\begingroup$

Hello , I am wondering if the next admissible ordinal beyond $\omega_{1}^{ck}$ is still countable. Does someone know a paper or a book that explain what look like an admissible ordinal beyond $\omega_{1}^{ck}$.

Thanks !

$\endgroup$
2
  • $\begingroup$ The Wikipedia page on admissible ordinals says that $\omega_1^{CK}(x)$ where $x$ is a real number is countable, and all countable admissible ordinals are those (and the limit of such). $\endgroup$
    – Asaf Karagila
    Jun 9, 2012 at 21:25
  • 2
    $\begingroup$ For $\alpha$ to be admissible means $L_\alpha$ satisfies a first order theory that any cardinal $\alpha$ (larger than $\omega$) is easily seen to satisfy. The set of $\alpha$ such that $L_\alpha\prec L_{\omega_1^V}$ is easily seen to be a club in the $\omega_1$ of $V$. In particular, the countable admissible ordinals are unbounded. $\endgroup$ Jun 10, 2012 at 22:29

1 Answer 1

8
$\begingroup$

The admissible ordinals are unbounded in $\omega_1$, so there are uncountably many countable admissible ordinals. Barwise's book, "Admissible Sets and Structures" is the standard reference on all things admissible. Beyond that, the proof theoretic literature contains some investigation of extensions of Kripke-Platek by "large cardinal" assumptions, beginning with KP+"there exists an admissible ordinal", and these theories are satisfied precisely by various larger admissible ordinals (and in all cases, there are countable ordinals which satisfy them). Various papers by Jäger, Pohlers, and Rathjen contain these theories.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.