Witnessing dp-rank

Itay Kaplan, Pierre Simon

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

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 languageEnglish
Pages (from-to)419-429
Number of pages11
JournalNotre Dame Journal of Formal Logic
Volume55
Issue number3
DOIs
StatePublished - 2014

Keywords

  • Dp-rank
  • NIP

Fingerprint

Dive into the research topics of 'Witnessing dp-rank'. Together they form a unique fingerprint.

Cite this