The Amalgamation Property, the Universal-Homogeneous Models, and the Generic Models.
The Feferman-Vaught theorem revisited
The join of equational theories
The notion of an elementary subsystem for a Boolean-valued relational system
The number of automorphisms of models of -categorical theories
The number of countable generic models for finite forcing
The number of countable models of a theory of one unary function
The observational predicate calculus and complexity of computations (Preliminary communication)
The regular inverse Galois problem over non-large fields
By a celebrated theorem of Harbater and Pop, the regular inverse Galois problem is solvable over any field containing a large field. Using this and the Mordell conjecture for function fields, we construct the first example of a field over which the regular inverse Galois problem can be shown to be solvable, but such that does not contain a large field. The paper is complemented by model-theoretic observations on the diophantine nature of the regular inverse Galois problem.
The strong amalgamation property
The use of injective-like structures in model theory
Two conjectures regarding the stability of ω-categorical theories
Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable