Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 265

Preprint Number 265

Previous Next Preprint server

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.

Full text arXiv: pdf, ps.

Last updated: March 23 2021 09:21 Please send your corrections to: