Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
From MaRDI portal
Publication:4133629
DOI10.1007/BF02007256zbMath0358.02061MaRDI QIDQ4133629
Publication date: 1976
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137936
03D20: Recursive functions and relations, subrecursive hierarchies
03E10: Ordinal and cardinal numbers
03D55: Hierarchies of computability and definability
Related Items
Trees, ordinals and termination, Subsystems of true arithmetic and hierarchies of functions, An independence result for \((\Pi^ 1_ 1-CA)+BI\), On bimodal logics of provability, Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones, Ackermannian Goodstein sequences of intermediate growth, Deducibility and independence in Beklemishev's autonomous provability calculus, Natural well-orderings, Postscript to “built-up systems of fundamental sequences and hierarchies of number-theoretic functions”
Cites Work