Transfinite ordinals in recursive number theory
From MaRDI portal
Publication:5785752
DOI10.2307/2266486zbMath0030.00401OpenAlexW2045646742WikidataQ55881331 ScholiaQ55881331MaRDI QIDQ5785752
No author found.
Publication date: 1947
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266486
Related Items (10)
Beyond Knuth's notation for unimaginable numbers within computational number theory ⋮ Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal ⋮ Predicatively unprovable termination of the Ackermannian Goodstein process ⋮ On orders of automorphisms of vertex-transitive graphs ⋮ A WALK WITH GOODSTEIN ⋮ Ultra power of higher orders and ultra exponential functional sequences ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Unnamed Item ⋮ Solution of $F(z+1)=\exp \big (F(z)\big )$ in complex $z$-plane ⋮ Ackermannian Goodstein sequences of intermediate growth
This page was built for publication: Transfinite ordinals in recursive number theory
