English

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 θ\theta there is a dependent theory TT of size θ\theta such that for all κ\kappa and δ\delta, κ(δ)T,1\kappa\to\left(\delta\right)_{T,1} iff κ(δ)θ<ω\kappa\to\left(\delta\right)_{\theta}^{<\omega}. 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}
}
R2 v1 2026-06-21T16:22:57.393Z