Transfinite ordinals in recursive number theory

DOI10.2307/2266486MaRDI QIDQ5785752zbMATH OpenOpenAlexWikidataFDO

Authors Reuben Goodstein

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

zbMATH Keywords

Philosophy and foundations of mathematics

Cited in

(10)

• 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
• Solution of \(F(z+1)=\exp \big (F(z)\big )\) in complex \(z\)-plane
• A WALK WITH GOODSTEIN
• 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
• Ackermannian Goodstein sequences of intermediate growth
• Beyond Knuth's notation for unimaginable numbers within computational number theory
• scientific article; zbMATH DE number 7614167 (Why is no real title available?)

This page was built for publication: Transfinite ordinals in recursive number theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5785752)