Equational theory of positive numbers with exponentiation is not finitely axiomatizable

Ehrenfeucht, 1973, Polynomial functions with exponentiation are well ordered, Algebra Universalis, 3, 261, 10.1007/BF02945125

Gurevič, 1985, Equational theory of positive numbers with exponentiation, Proc. Amer. Math. Soc., 94, 135, 10.1090/S0002-9939-1985-0781071-1

Gurevič, 1988, Detecting algebraic (in)dependence of explicitly prsented functions

Henkin, 1977, The logic of equality, Amer. Math. Monthly, 84, 597, 10.2307/2321009

Henson, 1984, Some applications of Nevanlinna theory to mathematical logic: identities of exponential functions, Trans. Amer. Math. Soc., 282, 1

Levitz, 1977, An initial segment of the set of polynomial functions with exponentiation, Algebra Universalis, 7, 133, 10.1007/BF02485422

Macintyre, 1981, The laws of exponentiation, 890, 185

Wilkie, 1980, On exponentiation—a solution to Tarski's high school algebra problem