La théorie d'un anneau de polynômes
Le théorème de MacIntyre sur les ensembles définissables dans les corps -adiques
Levelled O-minimal structures.
We introduce the notion of leveled structure and show that every structure elementarily equivalent to the real expo field expanded by all restricted analytic functions is leveled.