On large externally definable sets in NIP

arXiv2205.11792MaRDI QIDQ6399997FDOQ6399997

Authors: Martin Bays, Omer Ben-Neria, Itay Kaplan, Pierre Simon 

Publication date: 24 May 2022

Abstract: We study cofinal systems of finite subsets of $omeg{a}_1$. We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a question of Chernikov and Simon from 2013: in an NIP theory, any uncountable externally definable set contains an infinite definable subset. A similar result holds for larger cardinals.

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

This page was built for publication: On large externally definable sets in NIP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6399997)