Equational theory of positive numbers with exponentiation
Author:
R. Gurevič
Journal:
Proc. Amer. Math. Soc. 94 (1985), 135141
MSC:
Primary 03C05; Secondary 03B25, 03C13, 03C65
MathSciNet review:
781071
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: A. Tarski asked if all true identities involving 1, addition, multiplication, and exponentiation can be derived from certain socalled "highschool" identities (and a number of related questions). I prove that equational theory of is decidable ( means for positive ) and that entailment relation in this theory is decidable (and present a similar result for inequalities). A. J. Wilkie found an identity not derivable from Tarski's axioms with a difficult prooftheoretic argument of nonderivability. I present a model of Tarski's axioms consisting of 59 elements in which Wilkie's identity fails.
 [1]
Leon
Henkin, The logic of equality, Amer. Math. Monthly
84 (1977), no. 8, 597–612. MR 0472649
(57 #12345)
 [2]
A.
G. Hovanskiĭ, A class of systems of transcendental
equations, Dokl. Akad. Nauk SSSR 255 (1980),
no. 4, 804–807 (Russian). MR 600749
(82a:14006)
 [3]
Angus
Macintyre, The laws of exponentiation, Model theory and
arithmetic (Paris, 1979–1980) Lecture Notes in Math.,
vol. 890, Springer, BerlinNew York, 1981, pp. 185–197. MR 645003
(83f:03037)
 [4]
D.
Richardson, Solution of the identity problem for integral
exponential functions., Z. Math. Logik Grundlagen Math.
15 (1969), 333–340. MR 0262068
(41 #6678)
 [5]
Alex
J. Wilkie, On exponentiation—a solution to Tarski’s
high school algebra problem, Connections between model theory and
algebraic and analytic geometry, Quad. Mat., vol. 6, Dept. Math.,
Seconda Univ. Napoli, Caserta, 2000, pp. 107–129. MR 1930684
(2003g:03050)
 [1]
 L. Henkin, The logic of equality, Amer. Math. Monthly 84 (1977) 597612. MR 0472649 (57:12345)
 [2]
 A. G. Hovanskii, Ob odnom klasse sistem transcendentnykh uravnenii, Dokl. Akad. Nauk SSSR 255 (1980), 804807; English transl. in Soviet Math. Dokl. 22 (1980), 762765. MR 600749 (82a:14006)
 [3]
 A. Macintyre, The laws of exponentiation, Model Theory and Arithmetic Proc., Paris, 1979/80; (C. Berline, K. McAloon and J.P. Ressayre, eds.), Lecture Notes in Math., vol. 890, SpringerVerlag, 1981, pp. 185197. MR 645003 (83f:03037)
 [4]
 D. Richardson, Solution of the identity problem for integral exponential functions, Z. Math. Logik Grundlag. Math. 15 (1969), 333340. MR 0262068 (41:6678)
 [5]
 A. J. Wilkie, On exponentiationA solution to Tarski's high school algebra problem, Math. Inst. Oxford Univ., October 1981 (preprint). MR 1930684 (2003g:03050)
Similar Articles
Retrieve articles in Proceedings of the American Mathematical Society
with MSC:
03C05,
03B25,
03C13,
03C65
Retrieve articles in all journals
with MSC:
03C05,
03B25,
03C13,
03C65
Additional Information
DOI:
http://dx.doi.org/10.1090/S00029939198507810711
PII:
S 00029939(1985)07810711
Keywords:
Exponentiation of positive reals,
exponentiation of positive integers,
Tarski's high school algebra problem,
decidability of equational theory,
decidability of entailment relation,
differential ring,
finite model of Tarski's axioms
Article copyright:
© Copyright 1985
American Mathematical Society
