An initial segment of the set of polynomial functions with exponentiation

DOI10.1007/BF02485422zbMath0376.06002MaRDI QIDQ1245857

Hilbert Levitz

Publication date: 1977

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

Total orders (06A05) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items

Equational theory of positive numbers with exponentiation is not finitely axiomatizable, Skolem + Tetration Is Well-Ordered, An ordinal bound for the set of polynomial functions with exponentiation

Cites Work

• Unnamed Item
• Polynomial functions with exponentiation are well ordered
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Solution of the identity problem for integral exponential functions
• Arithmetic of ordinals with applications to the theory of ordered Abelian groups