(I can't find the initial source, but I think we need an article for this.)

Revision as of 08:15, January 16, 2020

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}\).

Community content is available under CC-BY-SA unless otherwise noted.