Predicative Ordinal Recursion on the Constructive Veblen Hierarchy

MaRDI QIDQ7199401arXivFDO

Authors Amirhossein Akbar Tabatabai, Vitor Greati, Revantha Ramanayake

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive ordinals and ordinal notations (03F15)

arXiv classification

math.LO

This page was built for publication: Predicative Ordinal Recursion on the Constructive Veblen Hierarchy

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