Submission date: 30 January 2012.

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).

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1201.5799: pdf, ps.