Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 !

share|improve this question
    
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). –  Asaf Karagila Jun 9 '12 at 21:25
1  
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. –  Andres Caicedo Jun 10 '12 at 22:29
add comment

1 Answer

up vote 7 down vote accepted

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.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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