A definable (p,q)-theorem for NIP theories

Itay Kaplan

doi:10.1016/j.aim.2023.109418

A definable (p,q)-theorem for NIP theories

Itay Kaplan

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

We prove a definable version of Matoušek's (p,q)-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version. The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case. It utilizes the notion of locally compressible types which appeared in the work of the author with Bays and Simon.

Original language	English
Article number	109418
Journal	Advances in Mathematics
Volume	436
DOIs	https://doi.org/10.1016/j.aim.2023.109418
State	Published - Jan 2024

Bibliographical note

Publisher Copyright:
© 2023 Elsevier Inc.

Keywords

(p,q) theorem
Forking
Model theory
NIP

Access to Document

10.1016/j.aim.2023.109418

Cite this

@article{ffcafe6685184d449697206f040fdd43,

title = "A definable (p,q)-theorem for NIP theories",

abstract = "We prove a definable version of Matou{\v s}ek's (p,q)-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version. The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case. It utilizes the notion of locally compressible types which appeared in the work of the author with Bays and Simon.",

keywords = "(p,q) theorem, Forking, Model theory, NIP",

author = "Itay Kaplan",

note = "Publisher Copyright: {\textcopyright} 2023 Elsevier Inc.",

year = "2024",

month = jan,

doi = "10.1016/j.aim.2023.109418",

language = "אנגלית",

volume = "436",

journal = "Advances in Mathematics",

issn = "0001-8708",

publisher = "Academic Press Inc.",

}

TY - JOUR

T1 - A definable (p,q)-theorem for NIP theories

AU - Kaplan, Itay

PY - 2024/1

Y1 - 2024/1

N2 - We prove a definable version of Matoušek's (p,q)-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version. The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case. It utilizes the notion of locally compressible types which appeared in the work of the author with Bays and Simon.

AB - We prove a definable version of Matoušek's (p,q)-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version. The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case. It utilizes the notion of locally compressible types which appeared in the work of the author with Bays and Simon.

KW - (p,q) theorem

KW - Forking

KW - Model theory

KW - NIP

UR - http://www.scopus.com/inward/record.url?scp=85176921159&partnerID=8YFLogxK

U2 - 10.1016/j.aim.2023.109418

DO - 10.1016/j.aim.2023.109418

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85176921159

SN - 0001-8708

VL - 436

JO - Advances in Mathematics

JF - Advances in Mathematics

M1 - 109418

ER -

A definable (p,q)-theorem for NIP theories

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this