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
Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
Theorien abelscher Gruppen mit einem einstelligen Prädikat
Théories de Galois différentielles et transcendance
On décrit des preuves galoisiennes des versions logarithmique et exponentielle de la conjecture de Schanuel, pour les variétés abéliennes sur un corps de fonctions.
Twin prime problem in an arithmetic without induction