Fast Goodstein walks

DOI10.1112/BLMS.13210MaRDI QIDQ7028825zbMATH OpenFDO

Authors David Fernández-Duque, Andreas Weiermann

Publication date 11 February 2025

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1112/BLMS.13210

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Gödel numberings and issues of incompleteness (03F40)

Cites work

• A theorem concerning the infinite cardinal numbers.
• A Uniform Approach to Fundamental Sequences and Hierarchies
• A WALK WITH GOODSTEIN
• Accessible Independence Results for Peano Arithmetic
• Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 -- July 3, 2020. Proceedings
• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
• Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
• scientific article; zbMATH DE number 432707 (Why is no real title available?)
• scientific article; zbMATH DE number 4033742 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 1215495 (Why is no real title available?)
• scientific article; zbMATH DE number 3346319 (Why is no real title available?)
• On the restricted ordinal theorem
• Transfinite ordinals in recursive number theory
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

This page was built for publication: Fast Goodstein walks

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