Ordinal described by a first-order formula
ID: ordinal-described-by-a-first-order-formula
A first-order formula describes an ordinal when is the least ordinal such that . No strongly inaccessible cardinal can be described: if , the Lévy reflection theorem produces some with .
New to topics? Read the docs here!