(Q8083999)

English

Buchholz's ordinal

the proof‐theoretic ordinal of the subsystem Π₁¹‐CA₀ of 2nd‐order arithmetic

Ψ₀(Ωω)

In more languages

Statements

large countable ordinal

0 references

Identifiers

0 references

Sitelinks

Wikipedia(1 entry)

enwiki Buchholz's ordinal

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q8083999&oldid=1789509443"