We study the notion of dp-minimality, beginning by providing several essential facts about dp-minimality, establishing several equivalent definitions for dp-minimality, and comparing dp-minimality to other minimality notions. The majority of the rest of the paper is dedicated to examples. We establish via a simple proof that any weakly o-minimal theory is dp-minimal and then give an example of a weakly o-minimal group not obtained by adding traces of externally definable sets. Next we give an example of a divisible ordered Abelian (...) group which is dp-minimal and not weakly o-minimal. Finally we establish that the field of p -adic numbers is dp-minimal. (shrink)

We develop a new notion of independence (þ-independence, read "thorn"-independence) that arises from a family of ranks suggested by Scanlon (þ-ranks). We prove that in a large class of theories (including simple theories and o-minimal theories) this notion has many of the properties needed for an adequate geometric structure. We prove that þ-independence agrees with the usual independence notions in stable, supersimple and o-minimal theories. Furthermore, we give some evidence that the equivalence between forking and þ-forking in simple theories might (...) be closely related to one of the main open conjectures in simplicity theory, the stable forking conjecture. In particular, we prove that in any simple theory where the stable forking conjecture holds. þ-independence and forking independence agree. (shrink)

Let TP be the theory obtained by adding a generic predicate to an o-minimal theory T. We prove that if T admits elimination of imaginaries, then TP also admits elimination of imaginaries.

We study the theory of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T. We show that while being a trivial geometric theory, inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP2. In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP2 exactly when has these properties. We show that (...) if T is superrosy of thorn rank 1, then so is, and that the converse holds if T satisfies acl = dcl. (shrink)

We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We use the pairs to isolate a class of geometric structures called weakly locally modular which generalizes the class of linear structures in the settings of SU-rank one theories and o-minimal theories. For o-minimal theories, we use the Peterzil–Starchenko trichotomy theorem to characterize for a sufficiently general point, the local geometry around it in terms of the thorn U-rank of its type inside a lovely pair.

Given a theoryTextending that of dense linear orders without endpoints, in a language ℒ ⊇ {<}, we are interested in extensionsT′ ofTin languages extending ℒ by unary relation symbols that are each interpreted in models ofT′ as sets that are both dense and codense in the underlying sets of the models.There is a canonically “wild” example, namelyT= Th andT′ = Th. Recall thatTis o-minimal, and so every open set definable in any model ofThas only finitely many definably connected components. But (...) it is well known that 〈ℝ, <, +, · ℚ 〉 defines every real Borel set, in particular, every open subset of any finite cartesian power of ℝ and every subset of any finite cartesian power of ℚ. To put this another way, the definable open sets in models ofTare essentially as simple as possible, whileT′ has a model where the definable open sets are as complicated as possible, as is the structure induced on the new predicate.In contrast to the preceding example, if ℝalgis the set of real algebraic numbers andT′ Th, then no model ofT′ defines any open set that is not definable in the underlying model ofT. (shrink)

In this paper we introduce the notion of a first order topological structure, and consider various possible conditions on the complexity of the definable sets in such a structure, drawing several consequences thereof.Our aim is to develop, for a restricted class of unstable theories, results analogous to those for stable theories. The “material basis” for such an endeavor is the analogy between the field of real numbers and the field of complex numbers, the former being a “nicely behaved” unstable structure (...) and the latter the archetypal stable structure. In this sense we try here to situate our work ono-minimal structures [PS] in a general topological context. Note, however, that thep-adic numbers, and structures definable therein, will also fit into our analysis.In the remainder of this section we discuss several ways of studying topological structures model-theoretically. Eventually we fix on the notion of a structure in which the topology is “explicitly definable” in the sense of Flum and Ziegler [FZ]. In §2 we introduce the hypothesis that every definable set is a Boolean combination of definable open sets. In §3 we introduce a “dimension rank” on definable sets. In §4 we consider structures on which this rank is defined, and for which also every definable set has a finite number of definably connected definable components. We show that prime models over sets exist under such conditions. (shrink)

We examine several conditions, either the existence of a rank or a particular property of þ-forking that suggest the existence of a well-behaved independence relation, and determine the consequences of each of these conditions towards the rosiness of the theory. In particular we show that the existence of an ordinal valued equivalence relation rank is a (necessary and) sufficient condition for rosiness.

We study o-minimal expansions of Archimedean totally ordered groups. We first prove that any such expansion must be elementarily embeddable via a unique (provided some nonzero element is 0-definable) elementary embedding into a unique o-minimal expansion of the additive ordered group of real numbers R. We then show that a definable function in an o-minimal expansion of R enjoys good differentiability properties and use this to prove that an Archimedean real closed field is definable in any nonsemilinear expansion of R. (...) Combining these results, we obtain several restrictions on possible o-minimal expansions of arbitrary Archimedean ordered groups and in particular of the rational ordered group. (shrink)

We provide a general theorem implying that for a (strongly) dependent theory T the theory of sufficiently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of first-order topological theories.

We characterize þ-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of finite index in G. We also show such structures are super-rosy and eliminate imaginaries up to codes for small sets.