{ "id": "math/0404180", "version": "v1", "published": "2004-04-08T02:38:57.000Z", "updated": "2004-04-08T02:38:57.000Z", "title": "On model completion of T_{aut}", "authors": [ "Saharon Shelah" ], "categories": [ "math.LO" ], "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.", "revisions": [ { "version": "v1", "updated": "2004-04-08T02:38:57.000Z" } ], "analyses": { "keywords": [ "model completion", "unstable complete" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2004math......4180S" } } }