Skolem + Tetration Is Well-Ordered
From MaRDI portal
Publication:3576033
DOI10.1007/978-3-642-03073-4_2zbMath1268.03066OpenAlexW1543289121MaRDI QIDQ3576033
Philipp Gerhardy, Mathias Barra
Publication date: 28 July 2010
Published in: Mathematical Theory and Computational Practice (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03073-4_2
Recursive functions and relations, subrecursive hierarchies (03D20) Other classical set theory (including functions, relations, and set algebra) (03E20) Ordinal and cardinal numbers (03E10)
Related Items
Cites Work
- Unnamed Item
- Polynomial functions with exponentiation are well ordered
- An ordinal bound for the set of polynomial functions with exponentiation
- An initial segment of the set of polynomial functions with exponentiation
- An ordered set of arithmetic functions representing the least ε‐number
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Solution of the identity problem for integral exponential functions