Naming an indiscernible sequence in NIP theories
Logic
2009-06-16 v1
Abstract
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.
Cite
@article{arxiv.0906.2708,
title = {Naming an indiscernible sequence in NIP theories},
author = {Artem Chernikov and Pierre Simon},
journal= {arXiv preprint arXiv:0906.2708},
year = {2009}
}
Comments
3 pages