• The definable (Q, Q)-theorem for distal theories 

      Boxall, Gareth; Kestner, Charlotte (Association for Symbolic Logic, 2018)
      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.