Witnessing dp-rank
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).
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2012
- DOI:
- 10.48550/arXiv.1201.5799
- arXiv:
- arXiv:1201.5799
- Bibcode:
- 2012arXiv1201.5799K
- Keywords:
-
- Mathematics - Logic
- E-Print:
- Notre Dame J. Formal Logic 55, no. 3 (2014), 419-429