Article contents
Elimination of imaginaries in expansions of o-minimal structures by generic sets
Published online by Cambridge University Press: 12 March 2014
Abstract
Let TP be the theory obtained by adding a generic predicate to an o-minimal theory T. We prove that if T admits elimination of imaginaries, then TP also admits elimination of imaginaries.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2005
References
REFERENCES
- 4
- Cited by