Cover Image

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Vodrazka, Daniel
Format:	Preprint
Published:	2025
Subjects:	Logic 03D20 (Primary) 03F15, 03F30 (Secondary) F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

Computability of the Hahn-Banach Theorem Revisited
by: Brattka, Vasco, et al.
Published: (2026)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Punctually Standard and Nonstandard Models of Natural Numbers
by: Bazhenov, Nikolay, et al.
Published: (2026)

A Lopez-Escobar Theorem for Continuous Domains
by: Bazhenov, Nikolay, et al.
Published: (2023)

Proof complexity of universal algebra in a CSP dichotomy proof
by: Gaysin, Azza
Published: (2024)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)

Proof Compression via Subatomic Logic and Guarded Substitutions
by: Barrett, Victoria, et al.
Published: (2025)