13 search results - page 1 / 3 » Model Companions of Theories with An Automorphism |
JSYML
2002
13 years 4 months ago
2002
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
JSYML
2000
13 years 5 months ago
2000
APAL
2000
13 years 5 months ago
2000
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T {" is an automorphism"} is an elementary clas...
JSYML
2007
13 years 5 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
DM
2011
12 years 8 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...