Fundamental sequences based on localization

DOI10.1016/J.APAL.2025.103658MaRDI QIDQ6912195zbMATH OpenFDO

Authors Gunnar Wilken

Publication date 23 October 2025

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

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103658

zbMATH Keywords

fast-growing functionsfundamental sequencesordinal notation systemsproof theorysubrecursive hierarchies

Mathematics Subject Classification ID

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

Cites work

• \(\Sigma _{1}\)-elementarity and Skolem hull operators
• A Glimpse of $$ \sum_{3} $$-elementarity
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Assignment of ordinals to patterns of resemblance
• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
• Elementary patterns of resemblance
• Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
• Fundamental sequences based on localization
• Normal forms for elementary patterns
• Ordinal arithmetic based on Skolem hulling
• Ordinal arithmetic with simultaneously defined theta-functions
• Proof theory. The first step into impredicativity
• Pure \(\Sigma_2\)-elementarity beyond the core
• Pure patterns of order 2
• The Bachmann-Howard structure in terms of _1-elementarity
• Tracking chains of \(\varSigma_2\)-elementarity

This page was built for publication: Fundamental sequences based on localization

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