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