Publications > Preprint server > Preprint Number 414
Preprint Number 414
414. Itay Kaplan and Pierre Simon
Submission date: 30 January 2012.
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:
|Last updated: January 31 2012 03:11||Please send your corrections to:|