An ordered set of arithmetic functions representing the least ε‐number
From MaRDI portal
Publication:4088822
DOI10.1002/malq.19750210115zbMath0325.04002MaRDI 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
03D20: Recursive functions and relations, subrecursive hierarchies
03E10: Ordinal and cardinal numbers
03D55: Hierarchies of computability and definability
Related Items
An ordinal bound for the set of polynomial functions with exponentiation, Skolem + Tetration Is Well-Ordered, A normal form for restricted exponential functions