Witnessing dp-rank
Logic
2016-02-10 v2
Abstract
We prove that in NTP_2 theories if p is a dependent type with dp-rank >= \kappa, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any theory).
Cite
@article{arxiv.1201.5799,
title = {Witnessing dp-rank},
author = {Itay Kaplan and Pierre Simon},
journal= {arXiv preprint arXiv:1201.5799},
year = {2016}
}