Generalising work of Berenstein, Dolich and Onshuus (Preprint 145 on MODNET Preprint server, 2008) and Günaydın and Hieronymi (Preprint 146 on MODNET Preprint server, 2010), we give sufficient conditions for a theory TP to inherit N I P from T, where TP is an expansion of the theory T by a unary predicate P. We apply our result to theories, studied by Belegradek and Zilber (J. Lond. Math. Soc. 78:563–579, 2008), of the real field with a subgroup of the unit (...) circle. (shrink)

We study the class of weakly locally modular geometric theories introduced in [4], a common generalization of the classes of linear SU-rank 1 and linear o-minimal theories. We find new conditions equivalent to weak local modularity: "weak one-basedness", absence of type definable "almost quasidesigns", and "generic linearity". Among other things, we show that weak one-basedness is closed under reducts. We also show that the lovely pair expansion of a non-trivial weakly one-based ω-categorical geometric theory interprets an infinite vector space over (...) a finite field. (shrink)

Let T be a complete geometric theory and let $$T_P$$ T P be the theory of dense pairs of models of T. We show that if T is superrosy with "Equation missing"-rank 1 then $$T_P$$ T P is superrosy with "Equation missing"-rank at most $$\omega $$ ω.

We prove that certain pairs of ordered structures are dependent. Among these structures are dense and tame pairs of o-minimal structures and further the real field with a multiplicative subgroup with the Mann property, regardless of whether it is dense or discrete.

We describe a recent program from the study of definable groups in certain o-minimal structures. A central notion of this program is that of a lattice. We propose a definition of a lattice in an arbitrary first-order structure. We then use it to describe, uniformly, various structure theorems for o-minimal groups, each time recovering a lattice that captures some significant invariant of the group at hand. The analysis first goes through a local level, where a pertinent notion of pregeometry and (...) generic elements is each time introduced. (shrink)

We consider the question of when an expansion of a first-order topological structure has the property that every open set definable in the expansion is definable in the original structure. This question has been investigated by Dolich, Miller and Steinhorn in the setting of ordered structures as part of their work on the property of having o-minimal open core. We answer the question in a fairly general setting and provide conditions which in practice are often easy to check. We give (...) a further characterisation in the special case of an expansion by a generic predicate. (shrink)

Let \ be an expansion of a real closed field \ by a dense subgroup G of \ with the Mann property. We prove that the induced structure on G by \ eliminates imaginaries. As a consequence, every small set X definable in \ can be definably embedded into some \, uniformly in parameters. These results are proved in a more general setting, where \ is an expansion of an o-minimal structure \ by a dense set \, satisfying three tameness (...) conditions. (shrink)

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set internal to (...) the predicate. For certain dense pairs of geometric topological fields without the independence property, whenever the underlying set of a definable group is contained in the dense-codense predicate, the group law is locally definable in the reduct as a geometric topological field. If the reduct has elimination of imaginaries, we extend this result, up to interdefinability, to all groups internal to the predicate. (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.

Let be an o‐minimal expansion of an ordered group, and a dense set such that certain tameness conditions hold. We introduce the notion of a product cone in, and prove: if expands a real closed field, then admits a product cone decomposition. If is linear, then it does not. In particular, we settle a question from [10].