Transfinite ordinals in recursive number theory

DOI10.2307/2266486zbMATH Open0030.00401OpenAlexW2045646742WikidataQ55881331 ScholiaQ55881331MaRDI QIDQ5785752FDOQ5785752

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)

• Ackermannian Goodstein sequences of intermediate growth
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
• Title not available (Why is that?)
• On orders of automorphisms of vertex-transitive graphs
• Beyond Knuth's notation for unimaginable numbers within computational number theory
• A WALK WITH GOODSTEIN
• Predicatively unprovable termination of the Ackermannian Goodstein process
• Ultra power of higher orders and ultra exponential functional sequences
• Solution of \(F(z+1)=\exp \big (F(z)\big )\) in complex \(z\)-plane

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)