Abstract
We prove that in NTP2 theories the dp-rank of a type can be witnessed by indiscernible sequences of tuples satisfying that type. If the type has dp-rank infinity, then this can be witnessed by singletons (in any theory).
Original language | English |
---|---|
Pages (from-to) | 419-429 |
Number of pages | 11 |
Journal | Notre Dame Journal of Formal Logic |
Volume | 55 |
Issue number | 3 |
DOIs | |
State | Published - 2014 |
Keywords
- Dp-rank
- NIP