The definable (Q, Q)-theorem for distal theories
Date
2018
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Association for Symbolic Logic
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.
Description
CITATION: Boxall, G. & Kestner, C. 2018. The definable (Q, Q)-theorem for distal theories. Journal of Symbolic Logic, 83(1):123-127, doi:10.1017/jsl.2016.72.
The original publication is available at https://www.cambridge.org/core/journals/journal-of-symbolic-logic
The original publication is available at https://www.cambridge.org/core/journals/journal-of-symbolic-logic
Keywords
NIP groups (Mathematics), Distal theories, Morley sequence, Theorems
Citation
Boxall, G. & Kestner, C. 2018. The definable (Q, Q)-theorem for distal theories. Journal of Symbolic Logic, 83(1):123-127, doi:10.1017/jsl.2016.72