The definable (Q, Q)-theorem for distal theories
dc.contributor.author | Boxall, Gareth | en_ZA |
dc.contributor.author | Kestner, Charlotte | en_ZA |
dc.date.accessioned | 2019-10-10T13:56:51Z | |
dc.date.available | 2019-10-10T13:56:51Z | |
dc.date.issued | 2018 | |
dc.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. | en_ZA |
dc.description | The original publication is available at https://www.cambridge.org/core/journals/journal-of-symbolic-logic | en_ZA |
dc.description.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. | en_ZA |
dc.description.uri | https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/definable-p-qtheorem-for-distal-theories/DD72242F3C7E3AA53FCFB9D76069F647 | |
dc.description.version | Publisher's version | en_ZA |
dc.format.extent | 5 pages | en_ZA |
dc.identifier.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 | en_ZA |
dc.identifier.issn | 1943-5886 (online) | |
dc.identifier.issn | 0022-4812 (print) | |
dc.identifier.other | doi:10.1017/jsl.2016.72 | |
dc.identifier.uri | http://hdl.handle.net/10019.1/106622 | |
dc.language.iso | en_ZA | en_ZA |
dc.publisher | Association for Symbolic Logic | en_ZA |
dc.rights.holder | Association for Symbolic Logic | en_ZA |
dc.subject | NIP groups (Mathematics) | en_ZA |
dc.subject | Distal theories | en_ZA |
dc.subject | Morley sequence | en_ZA |
dc.subject | Theorems | en_ZA |
dc.title | The definable (Q, Q)-theorem for distal theories | en_ZA |
dc.type | Article | en_ZA |