Γ₀

E1453667 UNEXPLORED

Γ₀ is a large countable ordinal that serves as a key proof-theoretic bound in predicative mathematics and ordinal analysis.

All labels observed (1)

Label Occurrences
Γ₀ canonical 2

How this entity was disambiguated

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.