On model completion of T_{aut}
Abstract
We characterize stable T for which the model completion of T_{aut} is stable (i.e., every completion is). Then we prove that ``some completion is stable'' is different and we characterize it. Finally we show that if T is stable, T_{aut} has a model completion, T_* is an unstable complete of T^{mc}_{aut}, then T_* satisfies NSOP_3. Moreover, simplicity is preserved.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- April 2004
- DOI:
- 10.48550/arXiv.math/0404180
- arXiv:
- arXiv:math/0404180
- Bibcode:
- 2004math......4180S
- Keywords:
-
- Logic