Admissible ordinal

ID: admissible-ordinal

In the context of set theory and logic, an **admissible ordinal** refers to a certain kind of ordinal that is used to define and study the properties of *admissible sets* and *admissible theories* in the framework of *admissible infinitary logic*.

New to topics? Read the docs here!