[This answer](https://math.stackexchange.com/a/3095770/897367) seems to imply that: for an ordinal $\alpha$, to be recursively inaccessible (i.e. $\alpha$ is admissible and limit of admissible) implies to be not locally countable (i.e. $L\_\alpha \models \exists \beta \ ``\beta \text{ is uncountable"}$). Here is the relevant excerpt:



> 
> If there is some $r\in L\_\alpha$ with $\omega\_1^r=\alpha$, then $L\_\alpha$ will be *locally countable* (= $L\_\alpha\models$ "every set is countable"). But plenty of countable admissible $\alpha$s don't give rise to locally countable levels of $L$! In particular, if $\alpha$ is an admissible limit of admissibles (= "recursively inaccessible") then every real in $L\_\alpha$ is contained in some admissible $L\_\beta$ with $\beta<\alpha$.
> 
> 
> 


However I believe that if by "admissible" we read here "$\Sigma\_1$-admissible", this statement does not hold as in this sense the first recursively inaccessible ordinal appears way before the first ordinal that is not locally countable (see resp. 2.3 and 2.21 in DA Madore's [zoo of ordinals](http://www.madore.org/%7Edavid/math/ordinal-zoo.pdf)). Whence my question:



> 
> Does the statement hold if by "admissible" we read "$\Sigma\_n$-admissible for all $n$"? If no, can we describe the first ordinal which is not locally countable in term of higher recursive inaccessibility?
> 
> 
> 



Recursively inaccessible ordinals and non locally countable ordinals
Suppose $L\_\alpha\models$"There is a largest cardinal". Then ($L\_\alpha$ is $\Sigma\_n$-admissible for all $n<\omega$) $\Leftrightarrow$ ($L\_\alpha\models$ ZF$^-$) $\Leftrightarrow$ ($L\_\alpha$ does not project ${<\alpha}$) $\Leftrightarrow$ ($\alpha$ is a cardinal in $L\_{\alpha+1}$). So the least $\beta$ such that $L\_\beta\models$"$\omega\_1$ exists" is $\beta=\alpha+1$ where $\alpha=\omega\_1^{L\_\beta}$ is the least ordinal such that $L\_\alpha$ is $\Sigma\_n$-admissible for all $n<\omega$, hence the least such that $L\_\alpha\models$ ZF$^-$.


However, if $\alpha$ is least such that ($L\_\alpha\models$ ZF$^-$ and $\alpha$ is a limit of $\beta$'s such that $L\_\beta\models$ ZF$^-$), then $L\_\alpha\models$"Every set is countable". (For each of those $\beta$'s, $L\_\beta$ is pointwise definable, so $\beta$ is countable in $L\_{\beta+2}$).


If we let $\alpha$ be least such that $L\_\alpha\models$" KP + $\omega\_1$ exists", then $\omega\_1^{L\_\alpha}$ is a limit of limits of ZF$^-$ levels, a limit of limits of limits of ZF$^-$ levels, etc.


