Jump to content

Template:Countable ordinals

From Wikipedia, the free encyclopedia

Large countable ordinals

First infinite ordinal ω
Epsilon numbers ε₀
Feferman–Schütte ordinal Γ₀
Ackermann ordinal θ(Ω²)
small Veblen ordinal θ(Ω^ω)
large Veblen ordinal θ(Ω^Ω)
Bachmann–Howard ordinal ψ(ε_Ω+1)
Buchholz's ordinal ψ₀(Ω_ω)
Takeuti–Feferman–Buchholz ordinal ψ(ε_{Ω_ω+1})
Proof-theoretic ordinals of the theories of iterated inductive definitions
Computable ordinals < ω‍^CK
₁
Nonrecursive ordinal ≥ ω‍^CK
₁
First uncountable ordinal Ω

Retrieved from "https://en.wikipedia.org/w/index.php?title=Template:Countable_ordinals&oldid=1217124330"