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

Preprint Number 189

Previous Next Preprint server

189. Artem Chernikov and Pierre Simon
Naming an indiscernible sequence in NIP theories

Submission date: 16 June 2009.


In this short note we show that if we add predicate for a dense complete indiscernible sequence in a dependent theory then the result is still dependent. This answers a question of Baldwin and Benedikt and implies that every unstable dependent theory has a dependent expansion interpreting linear order.

Mathematics Subject Classification: 03CXX

Keywords and phrases: NIP, indiscernible sequences, Baldwin-Benedikt

Full text arXiv: pdf, ps.

Last updated: June 18 2009 14:55 Please send your corrections to: