Model Companions of $T_{\rm Aut}$ for stable $T$
by Baldwin and Shelah. [BlSh:759]
Notre Dame J Formal Logic, 2001
Let T be a complete first order theory in a countable
relational language L . We assume relation symbols have been
added
to make each formula equivalent to a predicate. Adjoin a new
unary
function symbol sigma to obtain the language L_sigma ;
T_sigma is obtained by adding axioms asserting that sigma is
an L-automorphism. We provide necessary and sufficient conditions
for T_Aut to have a model companion when T is stable. Namely,
we introduce a new condition: T admits obstructions, and
show that T_Aut has a model companion iff and only if
T does not admit obstructions. This condition is weakening
of the finite cover property: if a stable theory T has the finite
cover property then T admits obstructions.
Back to the list of publications