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

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

Citation

Download 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

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

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

Subjects:
Primary: 03C45
Secondary: 03C68

Keywords: dp-rank , NIP

Rights: Copyright © 2014 University of Notre Dame

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