Mathematics – Logic
Scientific paper
2004-04-08
Mathematics
Logic
Scientific paper
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.
No associations
LandOfFree
On model completion of T_{aut} does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On model completion of T_{aut}, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On model completion of T_{aut} will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-158676