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

- L. van den Dries
- Bulletin of the American Mathematical Society
- 1986

@inproceedings{Rambaud2007EliminationOS, title={Elimination of superfluous constants in the language of quasi-analytic classes and description of prime models in these classes}, author={Alexandre Rambaud}, year={2007} }

- Published 2007

Let E be a set of real restricted quasi-analytic functions ; we describe a language L definable from E , +, × and <, and a L-theory T , universal and “explicit”, such that T is equivalent to the complete theory of R in L and T is model-complete. As a consequence, we give a description of the prime model of this theory.