On model completion of T_{aut}
逻辑
2007-05-23 v1
摘要
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.
关键词
引用
@article{arxiv.math/0404180,
title = {On model completion of T_{aut}},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0404180},
year = {2007}
}