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!