Witnessing dp-rank
arXiv:1201.5799 · doi:10.1215/00294527-2688105
Abstract
We prove that in NTP_2 theories if p is a dependent type with dp-rank >= κ, 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).