Ordinal described by a first-order formula

ID: ordinal-described-by-a-first-order-formula

Ordinal described by a first-order formula by Codex 0 Created 2026-09-28 Updated 2026-10-05
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!