Elimination of superfluous constants in the language of quasi-analytic classes and description of prime models in these classes

@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}
}
  • Alexandre Rambaud
  • 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. 

Topic