The structure of superilat graphs
We prove a structure theorem asserting that each superflat graph is tree-decomposable in a very nice way. As a consequence we fully determine the spectrum functions of theories of superflat graphs.
The structure of -like orderings
The tenacity of zero-one laws.
The theorems of Beth and Craig in abstract model theory. II. Compact logics.
The theory of abelian p-groups with the quantifier I is decidable
The theory of Archimedean real closed fields in logics with Ramsey quantifiers
The theory of differentially closed fields in logics with cardinal 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 Theory of Successor with an Extra Predicate.
The uncountable spectra of countable theories.
The Undecidability of Pseudo Real Closed Fields.
The unique existential quantifier.
The use of injective-like structures in model theory
The weak extension property and finite axiomatizability for quasivarieties
We define and compare a selection of congruence properties of quasivarieties, including the relative congruence meet semi-distributivity, RSD(∧), and the weak extension property, WEP. We prove that if 𝒦 ⊆ ℒ ⊆ ℒ' are quasivarieties of finite signature, and ℒ' is finitely generated while 𝒦 ⊨ WEP, then 𝒦 is finitely axiomatizable relative to ℒ. We prove for any quasivariety 𝒦 that 𝒦 ⊨ RSD(∧) iff 𝒦 has pseudo-complemented congruence lattices and 𝒦 ⊨ WEP. Applying these results and other results...
The Ziegler spectrum of a tame hereditary algebra
Theorems on groups of finite Morley rank analogous to theorems on finite groups.
Théorie de la classification
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
Théorie des modèles sans identité