## FANDOM

10,673 Pages

An ordinal is called to be admissible if $$L_\alpha$$ is an admissible set, where $$L$$ is Gödel's constructible universe. $$1+\alpha$$-th admissible ordinal is denoted by $$\omega_\alpha^\text{CK}$$. Though, $$\omega_\omega^\text{CK}$$ is not admissible.