La théorie d'un anneau de polynômes
Langages à valeurs réelles et applications
Le théorème de MacIntyre sur les ensembles définissables dans les corps -adiques
Les corps différentiellement clos dénombrables
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.
Limits of relatively hyperbolic groups and Lyndon’s completions
We describe finitely generated groups universally equivalent (with constants from in the language) to a given torsion-free relatively hyperbolic group with free abelian parabolics. It turns out that, as in the free group case, the group embeds into the Lyndon’s completion of the group , or, equivalently, embeds into a group obtained from by finitely many extensions of centralizers. Conversely, every subgroup of containing is universally equivalent to . Since finitely generated...
Linear and -linear betweenness spaces