Browsing by Author "Kestner, Charlotte"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
- ItemThe definable (Q, Q)-theorem for distal theories(Association for Symbolic Logic, 2018) Boxall, Gareth; Kestner, CharlotteAnswering 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.