Generic Variations of Models of T

Let T be a model-complete theory that eliminates the quantifier ∃ ∞ x For T we construct a theory T + such that any element in a model of T + determines a model of T . We show that T + has a model companion T 1 . We can iterate the construction. The produced theories are investigated.

[1]  Saharon Shelah,et al.  Classification theory - and the number of non-isomorphic models, Second Edition , 1990, Studies in logic and the foundations of mathematics.

[2]  Anand Pillay,et al.  Generic Structures and Simple Theories , 1998, Ann. Pure Appl. Log..

[3]  Wilfrid Hodges,et al.  Model Theory: The existential case , 1993 .

[4]  Peter Winkler,et al.  Model-completeness and skolem expansions , 1975 .