Model companions of theories with an automorphism

Details Model companions of theories with an automorphism Model companions of theories with an automorphism

1998-09-30

arxiv.org/abs/math/9809191v1

Mathematics

Logic

Scientific paper

For a theory $T$ in $L, T_\sigma$ is the theory of the models of $T$ with an automorphism $\sigma$. If $T$ is an unstable model complete theory without the independence property, then $T_\sigma$ has no model companion. If $T$ is an unstable model complete theory and $T_\sigma$ has the amalgamation property, then $T_\sigma$ has no model companion. If $T$ is model complete and has the fcp, then $T_\sigma$ has no model completion.

Affiliated with

Also associated with

No associations

Rating

Model companions of theories with an automorphism 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 Model companions of theories with an automorphism, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model companions of theories with an automorphism will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-693059