Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1003

Preprint Number 1003

Previous Next Preprint server

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

Full text arXiv 1602.01253: pdf, ps.

Last updated: March 23 2021 10:19 Please send your corrections to: