Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

DOI10.1016/J.APAL.2024.103455MaRDI QIDQ6560988

David Fernández-Duque, Andreas Weiermann

Publication date: 24 June 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Bachmann-Howard ordinalordinal notation systemsfundamental sequencesfast-growing functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Proof-theoretic investigations on Kruskal's theorem
• Elementary descent recursion and proof theory
• Notation systems for infinitary derivations
• Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
• Theories and ordinals in proof theory
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
• A Uniform Approach to Fundamental Sequences and Hierarchies
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• The consistency of arithmetics

This page was built for publication: Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

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