Decidability and undecidability of theories of abelian groups with predicates for subgroups
Decidable Theories of Preordered Fields.
Definability in the lattice of equational theories of semigroups.
Definable sets over finite fields.
Dense pairs of o-minimal structures
The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of "small definable set" plays a special role in this description.
Der Hilbertsche Irreduzibilitätssatz.
Deux applications de la méthode de va-et-vient
Déviation des types dans les corps algébriquement clos
Die Amalgamierungseigenschaft und reine Ringe.
Dually slender modules and steady rings.