MODNET
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
E-mail:

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.


Last updated: February 12 2016 17:18 Please send your corrections to: