Article contents
DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES
Published online by Cambridge University Press: 21 March 2017
Abstract
Let T be an NIP ${\cal L}$-theory and $\mathop T\limits^\~ $ be an enrichment. We give a sufficient condition on $\mathop T\limits^\~$ for the underlying ${\cal L}$-type of any definable (respectively invariant) type over a model of $\mathop T\limits^\~$ to be definable (respectively invariant). These results are then applied to Scanlon’s model completion of valued differential fields.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2017
References
REFERENCES
- 3
- Cited by