Admissible ordinal

An ordinal is called to be admissible if \(L_\alpha\) is an, where \(L\) is. \(1+\alpha\)-th admissible ordinal is denoted by \(\omega_\alpha^\text{CK}\).