Witnessing Dp-Rank

&
Notre Dame Journal of Formal Logic 55 (3):419-429 (2014)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2688105

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dp-minimality: Invariant types and dp-rank.Pierre Simon - 2014 - Journal of Symbolic Logic 79 (4):1025-1045.
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Dp-finite fields I(A): The infinitesimals.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102947.
dp-Rank and Forbidden Configurations.Hunter Johnson - 2013 - Notre Dame Journal of Formal Logic 54 (1):1-13.
Non-forking and preservation of NIP and dp-rank.Pedro Andrés Estevan & Itay Kaplan - 2021 - Annals of Pure and Applied Logic 172 (6):102946.
On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension.Vincent Guingona & Cameron Donnay Hill - 2015 - Annals of Pure and Applied Logic 166 (4):502-525.
The dp-rank of Abelian groups.Yatir Halevi & Daniel Palacín - 2019 - Journal of Symbolic Logic 84 (3):957-986.
Ranks based on strong amalgamation Fraïssé classes.Vincent Guingona & Miriam Parnes - 2023 - Archive for Mathematical Logic 62 (7):889-929.
On Rank Not Only in Nsop $_1$ Theories.Jan Dobrowolski & Daniel Max Hoffmann - 2024 - Journal of Symbolic Logic 89 (4):1669-1702.

Analytics

Added to PP
2014-07-22

Downloads
30 (#749,901)

6 months
2 (#1,685,557)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Dp-minimality: Invariant types and dp-rank.Pierre Simon - 2014 - Journal of Symbolic Logic 79 (4):1025-1045.
Exact saturation in simple and NIP theories.Itay Kaplan, Saharon Shelah & Pierre Simon - 2017 - Journal of Mathematical Logic 17 (1):1750001.
Non-forking and preservation of NIP and dp-rank.Pedro Andrés Estevan & Itay Kaplan - 2021 - Annals of Pure and Applied Logic 172 (6):102946.

Add more citations

References found in this work

Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
On dp-minimal ordered structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
On dp-minimality, strong dependence and weight.Alf Onshuus & Alexander Usvyatsov - 2011 - Journal of Symbolic Logic 76 (3):737 - 758.
On generically stable types in dependent theories.Alexander Usvyatsov - 2009 - Journal of Symbolic Logic 74 (1):216-250.

Add more references