Abstract
We prove that in 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).
Citation
Itay Kaplan. Pierre Simon. "Witnessing Dp-Rank." Notre Dame J. Formal Logic 55 (3) 419 - 429, 2014. https://doi.org/10.1215/00294527-2688105
Information