Abstract. We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded forking assuming NTP 2 .
Abstract. We show that if the restriction of the Lascar equivalence relation to a KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel equivalence relation on an appropriate space of types).
The main result of this article is sub-additivity of the dp-rank. We also show that the study of theories of finite dp-rank can not be reduced to the study of its dp-minimal types, and discuss the possible relations between dp-rank and VC-density.
introductionThis paper grew out of discussions that the authors had during a meeting in Oberwolfach in January 2010, following a talk of Deirdre Haskell, and conversations with Sergei Starchenko, on their recent joint work with Aschenbrenner, Dolich and Macpherson [2]. Haskell's talk made it apparent to us that the notion of VC-density (Vapnik-Chervonenkis density), investigated in [2], is closely related to "dependence rank" (dp-rank) introduced by the third author in [14]. Discussions with Starchenko helped us realize that certain questions, such as additivity, which were (and still are, to our knowledge) open for VC-density, may be approached more easily in the context of dp-rank. This paper is the first step in the program of investigating basic properties of dp-rank and its connections with VC-density.Whereas dp-rank is a relatively new notion, VC-density and related concepts have been studied for quite some time in the frameworks of machine learning, computational geometry, and other branches of theoretical computer science. Recent developments point to a connection between VC-density and dp-rank, strengthening the bridge between model theory and these subjects. We believe that investigating properties of dp-rank is important for discovering the nature of this connection. Furthermore, once this relation is better understood, theorems about dp-rank are likely to prove useful in the study of finite and infinite combinatorics related to VC-classes.Dp-rank was originally defined in [14] as an attempt to capture how far a certain type (or a theory) is from having the independence property. It also helped us to isolate a minimality notion of dependence for types and theories (that is, having rank 1). We called this notion dp-minimality and investigated it in [7]. Both dprank and dp-minimality were simplifications of Shelah's various ranks from [12],
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.