Notre Dame Journal of Formal Logic

Witnessing Dp-Rank

Itay Kaplan and Pierre Simon

Full-text: Access denied (no subscription detected) We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We prove that in $\operatorname {NTP}_{\operatorname {2}}$ 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).

Article information

Source
Notre Dame J. Formal Logic Volume 55, Number 3 (2014), 419-429.

Dates
First available in Project Euclid: 22 July 2014

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1406034056

Digital Object Identifier
doi:10.1215/00294527-2688105

Mathematical Reviews number (MathSciNet)
MR3263537

Zentralblatt MATH identifier
1337.03045

Subjects
Primary: 03C45: Classification theory, stability and related concepts [See also 03C48]
Secondary: 03C68: Other classical first-order model theory

Keywords
NIP dp-rank

Citation

Kaplan, Itay; Simon, Pierre. Witnessing Dp-Rank. Notre Dame J. Formal Logic 55 (2014), no. 3, 419--429. doi:10.1215/00294527-2688105. https://projecteuclid.org/euclid.ndjfl/1406034056.


Export citation

References