Equational theory of positive numbers with exponentiation is not finitely axiomatizable (1990)

by R H Gurevič
Venue:Annals of Pure and Applied Logic