A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- 1 January 1986
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 15 (2) , 189-193
- https://doi.org/10.1090/s0273-0979-1986-15468-6
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 10 references indexed in Scilit:
- A Decision Method for Elementary Algebra and GeometryPublished by Springer Nature ,1998
- Definable Sets in Ordered Structures. ITransactions of the American Mathematical Society, 1986
- Definable Sets in Ordered Structures. IITransactions of the American Mathematical Society, 1986
- Analytic Hardy Fields and Exponential Curves in the Real PlaneAmerican Journal of Mathematics, 1984
- Remarks on Tarski's problem concerning (R, +, *, exp)Published by Elsevier ,1984
- Semi-Algebraic Local-Triviality in Semi-Algebraic MappingsAmerican Journal of Mathematics, 1980
- Triangulations of algebraic setsProceedings of Symposia in Pure Mathematics, 1975
- Projections of semi-analytic setsFunctional Analysis and Its Applications, 1968
- Simpliziale Zerlegung abzählbarer analytischer RäumeMathematische Zeitschrift, 1964
- A Decision Method for Elementary Algebra and GeometryPublished by University of California Press ,1951