|
Publications > Preprint server > Preprint Number 68
Preprint Number 68
68. Alexandre Rambaud Elimination of superfluous constants in the language of quasi-analytic classes and description of prime models in these classes E-mail: Submission date: 5 April 2007 Abstract: Let E be a set of real restricted quasi-analytic functions; we describe a language L definable from E,+,x and <, and a L-theory T, universal and ``explicit'', such that T is equivalent to the complete theory of the reals in L and T is model-complete. As a consequence, we give a description of the prime model of this theory. Mathematics Subject Classification: 03C10 - 03C64 Keywords and phrases: Quasi-analytic, o-minimal, prime model, quantifier elimination |
| Last updated: March 23 2021 09:22 | Please send your corrections to: |