A dependent theory with few indiscernibles
Logic
2013-08-29 v4
Abstract
We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every there is a dependent theory of size such that for all and , iff . This means that unless there are good set theoretical reasons, there are large sets with no indiscernible sequences.
Keywords
Cite
@article{arxiv.1010.0388,
title = {A dependent theory with few indiscernibles},
author = {Itay Kaplan and Saharon Shelah},
journal= {arXiv preprint arXiv:1010.0388},
year = {2013}
}