Open Access
2014 Witnessing Dp-Rank
Itay Kaplan, Pierre Simon
Notre Dame J. Formal Logic 55(3): 419-429 (2014). DOI: 10.1215/00294527-2688105


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


Download Citation

Itay Kaplan. Pierre Simon. "Witnessing Dp-Rank." Notre Dame J. Formal Logic 55 (3) 419 - 429, 2014.


Published: 2014
First available in Project Euclid: 22 July 2014

zbMATH: 1337.03045
MathSciNet: MR3263537
Digital Object Identifier: 10.1215/00294527-2688105

Primary: 03C45
Secondary: 03C68

Keywords: dp-rank , NIP

Rights: Copyright © 2014 University of Notre Dame

Vol.55 • No. 3 • 2014
Back to Top