On a hierarchy of groups of computable automorphisms.
On Cartesian Powers of a Rational Group.
On constructive nilpotent groups.
On divisibility in definable groups
Let ℳ be an o-minimal expansion of a real closed field. It is known that a definably connected abelian group is divisible. We show that a definably compact definably connected group is divisible.
On some elementary properties of soluble groups of derived length 2.
On some model theoretic problems concerning certain extensions of abelian groups by groups of finite exponent
On the Rank of Ext.
On universal theories of metabelian groups and the Shmel'kin embedding.
ℳ-rank and meager groups
Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.
Relative geometries
In this paper, we shall study type-definable groups in a simple theory with respect to one or several stable reducts. While the original motivation came from the analysis of definable groups in structures obtained by Hrushovski's amalgamation method, the notions introduced are in fact more general, and in particular can be applied to certain expansions of algebraically closed fields by operators.
Small profinite m-stable groups
A small profinite m-stable group has an open abelian subgroup of finite ℳ-rank and finite exponent.
Some model theory of simple algebraic groups over algebraically closed fields
Some structure theorems for inverse ω-semigroups
Strong boundedness and algebraically closed groups
Let be a non-trivial algebraically closed group and be a subset of generating in infinitely many steps. We give a construction of a binary tree associated with . Using this we show that if is -existentially closed then it is strongly bounded.
Tarski's problem about the elementary theory of free groups has a positive solution.
The elementary theory of Abelian groups with m-chains of pure subgroups
The homomorphic images of infinite symmetric groups.
Theorems on groups of finite Morley rank analogous to theorems on finite groups.
Torsion-free constructive nilpotent -groups.
Ultraproduits des groupes finis et applications à la théorie de Galois