On Wainer's notation for a minimal subrecursive inaccessible ordinal

DOI10.1002/malq.19930390125zbMath0799.03045OpenAlexW2138096627MaRDI QIDQ4304133

Noriya Kadota

Publication date: 24 November 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19930390125

zbMATH Keywords

fundamental sequencesfast-growing hierarchyslow-growing hierarchycollapsing theoremsubrecursive inaccessible ordinal

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)

Related Items

Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones, Accessible Recursive Functions

Cites Work

• Π12-logic, Part 1: Dilators