arXiv Analytics

Sign in

arXiv:math/0404180 [math.LO]AbstractReferencesReviewsResources

On model completion of T_{aut}

Saharon Shelah

Published 2004-04-08Version 1

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.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2102.01426 [math.LO] (Published 2021-02-02)
Model completions for universal classes of algebras: necessary and sufficient conditions
arXiv:math/0607418 [math.LO] (Published 2006-07-18, updated 2007-03-20)
The model completion of the theory of modules over finitely generated commutative algebras
arXiv:1702.08352 [math.LO] (Published 2017-02-27)
Existentially Closed Brouwerian Semilattices

Links

Toolbox