A generalization of the Tarski-Seidenberg theorem, and some nondefinability results

Bulletin of the American Mathematical Society

Volumn 15, Issue 2, 1986, Pages 189-193

  van den Dries, Lou ^a,b  

^a MAX PLANCK INSTITUT FÜR MATHEMATIK   (Germany)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84968521838     PISSN: 02730979     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0273-0979-1986-15468-6     Document Type: Article

References (14)

1. A. Gabrielov, Projections of semi-analytic sets, Functional Anal. Appl. 2 (1968), 282–291. (Russian)
2. B. Gieseke, Simpliziale Zerlegung abzählbarer analytische Räume, Math. Z. 83 (1964), 177–213.
3. R. Hardt, Semi-algebraic local triviality in semi-algebraic mappings, Amer. J. Math. 102 (1980), 291–302.
4. H. Hironaka, Triangulation of algebraic sets, Algebraic Geometry, Arcata 1974, Proc. Sympos. Pure Math., vol. 29, Amer. Math. Soc., Providence, R. I., 1975, pp. 165–186.
5. A. Hovanskii, Fewnomials and Pfaff manifolds, Proc. ICM, Warsaw, 1983, pp. 549–564.
6. J. Knight, A. Pillay, and C. Steinhorn, Definable sets in ordered structures. II, Trans. Amer. Math. Soc. 295 (1986), 593–605.
7. S. Lojasiewicz, Ensembles semi-analytiques, mimeographed notes, Inst. Hautes Études Sci., 1965.
8. ——, Triangulation of semi-analytic sets, Ann. Sci. École Norm. Sup. Pisa (3) 18 (1964), 449–474.
9. A. Pillay and C. Steinhom, Definable sets in ordered structures. I, Trans. Amer. Math. Soc. 295 (1986), 565–592.
10. A. Tarski, A decision method for elementary algebra and geometry, (2nd ed. revised), Rand Corporation monograph, Berkeley and Los Angeles, 1951.
11. L. van den Dries, Analytic Hardy fields and exponential curves in the real plane, Amer. J. Math. 106 (1984), 149–167.
12. ——, Remarks on Tarski’s problem concerning (R, +, ּ, exp), Logic Colloquium, 1982, pp. 97–121, (G. Lolli, G. Longo and A. Marcja, eds.), North-Holland, 1984.
13. ——, Tarski’s problem and Pfaffian functions, Proc. Logic Colloquium, 1984 (to appear).
14. ——, lectures at University of Konstanz.