admissible ordinal

ordinal number α such that L_α is an admissible set (transitive model of Kripke–Platek set theory)

Categories: