Publications > Preprint server > Preprint Number 1003
Preprint Number 1003
1003. Gareth Boxall, Charlotte Kestner
Non-dividing formulas in distal NIP theories
Submission date: 3 February 2016.
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.
Mathematics Subject Classification: 03C45
Keywords and phrases: NIP, Distal
|Last updated: February 12 2016 17:18||Please send your corrections to:|