On large externally definable sets in NIP

MaRDI QIDQ6399997FDO

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

Publication date 24 May 2022

Mathematics Subject Classification ID

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

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.

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)