Polynomial functions with exponentiation are well ordered
From MaRDI portal
Publication:1218443
DOI10.1007/BF02945125zbMath0308.06001MaRDI QIDQ1218443
Publication date: 1973
Published in: Algebra Universalis (Search for Journal in Brave)
06A05: Total orders
03E20: Other classical set theory (including functions, relations, and set algebra)
Related Items
Growth estimates for exp-log functions, Equational theory of positive numbers with exponentiation is not finitely axiomatizable, Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\), A notion of mechanistic theory, An ordinal bound for the set of polynomial functions with exponentiation, An initial segment of the set of polynomial functions with exponentiation, Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium), Skolem + Tetration Is Well-Ordered, A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets, Unnamed Item
Cites Work