Martin's Axiom Applied to Existentially Closed Groups.
m-normal theories
Originally, m-independence, ℳ -rank, m-stability and m-normality were defined only for small stable theories. Here we extend the definitions to an arbitrary small countable complete theory. Then we investigate these notions in the new, broader context. As a consequence we show that any superstable theory with countable models is m-normal. In particular, any *-algebraic group interpretable in such a theory is abelian-by-finite.
Model theoretic methods in the theory of topological fields.
Model theory of fields: An application to positive semidefinite polynomials
Model-completeness for sheaves of structures
Model-interpretability into trees and applications.
Models of second order arithmetic with definable Skolem functions