Submission date: 3 February 2016.

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.

Mathematics Subject Classification: 03C45

Keywords and phrases: NIP, Distal

Full text arXiv 1602.01253: pdf, ps.