The definable (p,q)-theorem for distal theories
Logic
2017-01-23 v2
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.
Keywords
Cite
@article{arxiv.1602.01253,
title = {The definable (p,q)-theorem for distal theories},
author = {Gareth Boxall and Charlotte Kestner},
journal= {arXiv preprint arXiv:1602.01253},
year = {2017}
}
Comments
6 pages