Sur la complexité du principe de Tarski-Seidenberg
Sur la complexité du principe de Tarski-Seidenberg
Sur La Logique De Premier Ordre Et La Théorie Des Catégories.
Sur la théorie élémentaire des groupes libres
Sela a annoncé une solution complète d’un problème de Tarski, qui demanda vers 1945 quels sont les groupes de type fini qui ont la même théorie élémentaire qu’un groupe libre. Nous discuterons des travaux de Remeslennikov, Kharlampovich-Myasnikov, Sela, Champetier-Guirardel et autres sur la structure des groupes limites (les groupes de type fini qui sont “limites”de groupes libres, ou encore, qui ont la même théorie universelle qu’un groupe libre). Nous indiquerons quelques outils utilisés par Sela...
Tarski's problem about the elementary theory of free groups has a positive solution.
The diameter of a Lascar strong type
We prove that a type-definable Lascar strong type has finite diameter. We also answer some other questions from [1] on Lascar strong types. We give some applications on subgroups of type-definable groups.
The Elementary Theory of co-Free Ax Fields
The Field of Reals with a Predicate for the Powers of Two.
The Functor Bext under the Negation of CH.
The -theory of profinite abelian groups
The limit behaviour of exponential terms
The model theory of generalized real closed fields.
The model-completion of Stone algebras
The rational field is not universally definable in pseudo-exponentiation
We show that the field of rational numbers is not definable by a universal formula in Zilber's pseudo-exponential field.
The real closure of a commutative regular f-ring
The theory of Archimedean real closed fields in logics with Ramsey quantifiers
The theory of dual groups
We study the -theory of sequences of dual groups and give a complete classification of the -elementary classes by finding simple invariants for them. We show that nonstandard models exist.
The Ziegler spectrum of a tame hereditary algebra
Theorems on groups of finite Morley rank analogous to theorems on finite groups.
Théorie des modèles et conjecture de Manin-Mumford