Article contents
Generic variations of models of T
Published online by Cambridge University Press: 12 March 2014
Abstract
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 T1. We can iterate the construction. The produced theories are investigated.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2002
References
REFERENCES
- 5
- Cited by