Feferman–Schütte ordinal
Sign in to saveAlso known as Γ_0, Γ0, The first impredicative ordinal
large countable ordinal; the proof-theoretic ordinal of arithmetical transfinite recursion
Also known as Γ_0, Γ0, The first impredicative ordinal
large countable ordinal; the proof-theoretic ordinal of arithmetical transfinite recursion