The saga of the High School Identities

Algebra Universalis

Volumn 52, Issue 2-3, 2005, Pages 325-342

  Burris, Stanley N ^a   Yeats, Karen A ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b Boston University   (United States)

Author keywords

Decidable; Exponentiation; High School Identities; Model complete; Not finitely axiomatizable; O minimal; Orders of Infinity; Schanuel's Conjecture; Wilkie's identity

Indexed keywords

EID: 12944327812     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00012-004-1900-2     Document Type: Review

References (31)

1. Chris Arbuthnott, Master's Thesis, University of Waterloo, 2002.
2. Gurgen R. Asatryan, A solution to identities problem in 2-element HSI-algebras, MLQ Math. Log. Q. 50 (2004), 175-178.
3. Garrett Birkhoff, Generalized Arithmetic, Duke Math. J. 9 (1942), 283-302.
4. S. Burris and S. Lee, Small models of the High School Identities, Internat. J. Algebra Comput. 2 (1992), 139-178.
5. S. Burris and S. Lee, Tarski's High School Identities, Amer. Math. Monthly 100 (1993), 231-236.
6. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Grad. Texts in Math. 78, Springer-Verlag, 1981. [Available at www.thoralf.uwaterloo. ca]
7. 2x, Trans. Amer. Math. Soc. 297 (1986), 707-716.
8. Richard Dedekind, Was sind und was sollen die Zahlen? 8te unveränderte Aufl. Friedr. Vieweg & Sohn, Braunschweig 1960. English Translation: What are numbers and what should they be? Revised, edited, and translated from the German by H. Pogorzelski, W. Ryan and W. Snyder. RIM Monographs in Mathematics. Research Institute for Mathematics, Orono, ME, 1995.
9. Richard Dedekind, Was sind und was sollen die Zahlen? 8te unveränderte Aufl. Friedr. Vieweg & Sohn, Braunschweig 1960. English Translation: What are numbers and what should they be? Revised, edited, and translated from the German by H. Pogorzelski, W. Ryan and W. Snyder. RIM Monographs in Mathematics. Research Institute for Mathematics, Orono, ME, 1995.
10. A. Ehrenfeucht, Polynomial functions with exponentiation are well ordered, Alg. Universalis 3 (1973), 261-349.
11. Marcelo Fiore, Roberto Di Cosmo and Vincent Balat, Remarks on isomorphisms in typed lambda calculi with empty and sum types, IEEE Symposium LICS 2002. Copenhagen, Denmark, July 2002.
12. R. Gurevič, Equational theory of positive numbers with exponentiation, Proc. Amer. Math. Soc. 94 (1985), 135-141.
13. R. Gurevič, Equational theory of positive numbers with exponentiation is not finitely axiomatizable, Annal of Pure and Applied Logic 49 (1990), 1-30.
14. R. H. Gurevič, Detecting algebraic (in)dependence of explicitly presented functions (some applications of Nevanlinna theory to mathematical logic), Trans. Amer. Math. Soc. 336 (1993), 1-67.
15. R. H. Gurevič, Transcendental numbers and eventual dominance of exponential functions, Bull. London. Math. Soc. 18 (1986), 560-570.
16. G. H. Hardy, Orders of Infinity, the "Infinitarcalcul" of Paul Du Bois-Reymond. Cambridge University Press. [first ed. 1921] 2nd ed. 1954.
17. C. W. Henson and L. A. Rubel, Some applications of Nevanlinna theory to mathematical logic: identities of exponential functions, Trans. Amer. Math. Soc. 282 (1984), 1-32.
18. M. G. Jackson, A note on HSI-identities and counterexamples to Wilkie's identity, Algebra Universalis 36 (1996), 528-535.
19. A. Macintyre, The laws of exponentiation, Model theory and arithmetic. (Paris, 1979-1980) Lecture Notes in Math. 890, 185-197. Springer, 1981.
20. Angus Macintrye and A. J. Wilkie, On the decidability of the real exponential field, in: Kreiseliana: about and around Georg Kreisel, ed. by P. Olfreddi, 441-467, A. K. Peters, 1996.
21. David Marker, Khovanskii's theorem, in: Algebraic Model Theory, eds. Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote, Kluwer Academic Publ., 1997 pp. 181-193.
22. Anand Pillay and Charles Steinhorn, Definable sets in ordered structures. I, Trans. Amer. Math. Soc. 295 (1986), 565-592.
23. Julia F. Knight, Anand Pillay and Charles Steinhorn, Definable sets in ordered structures. II, Trans. Amer. Math. Soc. 295 (1986), 593-605.
24. D. Richardson, Solution of the identity problem for integral exponential functions, Zeitschr. f. math. Logik und Grundlagen d. Math. 15 (1969), 333-340.
25. John Shackell, Growth estimates for exp-log functions, J. Symbolic Computation 10 (1990), 611-632.
26. Lou van den Dries, A completeness theorem for trigonometric identities and various results on exponential functions, Proc. Amer. Math. Soc. 96 (1986), 345-352.
27. 2x, Trans. Amer. Math. Soc. 286 (1984), 339-349.
28. A. J. Wilkie, On exponentiation - a solution to Tarski's high school algebra problem, Quaderni di Matematica (to appear).
29. A. J. Wilkie, O-Minimality, Documenta Mathematica, Extra Volume ICM 1998, 1 pp. 633-636.
30. A. J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Amer. Math. Soc. 4 (1996), 1051-1094.
31. A. J. Wilkie, Schanuel's conjecture and the decidability of the real exponential field, Algebraic Model Theory, eds. Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote, 223-230, Kluwer Academic Publ., 1997.