Publications > Preprint server > Preprint Number 265
Preprint Number 265
265. Artem Chernikov and Pierre Simon
Externally definable sets and dependent pairs
Submission date: 27 July 2010.
We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stable embeddedness true in this context. Those results are then used to prove a general theorem on dependent pairs, which in particular answers a question of Baldwin and Benedikt on naming an indiscernible sequence.
Mathematics Subject Classification: 03Cxx
Keywords and phrases: NIP, dependent theories, pairs, indiscernible sequences, externally definable sets.
|Last updated: March 23 2021 10:21||Please send your corrections to:|