MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 68

Preprint Number 68

Previous Next Preprint server


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

Full text: pdf, dvi, ps.


Last updated: April 5 2007 12:27 Please send your corrections to: