The definable (p,q)-theorem for distal theories
classification
🧮 math.LO
keywords
definabledistalansweringcasechernikovconsistentfamilyformula
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.