An initial segment of the set of polynomial functions with exponentiation
From MaRDI portal
Publication:1245857
DOI10.1007/BF02485422zbMath0376.06002MaRDI QIDQ1245857
Publication date: 1977
Published in: Algebra Universalis (Search for Journal in Brave)
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