An ordered set of arithmetic functions representing the least ε‐number
From MaRDI portal
Publication:4088822
DOI10.1002/malq.19750210115zbMath0325.04002OpenAlexW1970627943MaRDI QIDQ4088822
Publication date: 1975
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19750210115
Recursive functions and relations, subrecursive hierarchies (03D20) Ordinal and cardinal numbers (03E10) Hierarchies of computability and definability (03D55)
Related Items
A normal form for restricted exponential functions ⋮ Skolem + Tetration Is Well-Ordered ⋮ An ordinal bound for the set of polynomial functions with exponentiation
This page was built for publication: An ordered set of arithmetic functions representing the least ε‐number