Article contents
THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES
Published online by Cambridge University Press: 09 November 2017
Abstract
Answering a special case of a question of Chernikov and Simon, we show that any non-dividing formula over a model M in a distal NIP theory is a member of a consistent definable family, definable over M.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2017
References
REFERENCES
- 4
- Cited by