### On model completion of $T_{\rm aut}$

by Shelah. [Sh:E34]

We characterize stable T for which the model completion of
T_sigma =T_aut is stable (i.e., every completion is). Then
we prove that ``some completion is stable'' is different and
characterize it. We also prove that any such model completion
satisfies NSOP_3 . Finally we show that there is an unstable
(complete first order) T with T_aut having model
completion.

Back to the list of publications