The aim of this work is an analysis of distal and non‐distal behavior in dense pairs of o‐minimal structures. A characterization of distal types is given through orthogonality to a generic type in, non‐distality is geometrically analyzed through Keisler measures, and a distal expansion for the case of pairs of ordered vector spaces is computed.

We study notions of genericity in models of, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model‐theoretic contexts. These papers studied the theories obtained by adding a “random” predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in (...) models of as CP‐generics. We study a more natural property, called strong CP‐genericity, which implies CP‐genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP‐generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged. (shrink)

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].

We establish the choice property, a weak analogue of definable choice, for certain tame expansions of o‐minimal structures. Most noteworthily, this property holds for dense pairs of real closed fields, as well as for expansions of o‐minimal structures by a dense independent set.

This paper answers several open questions around structures with o‐minimal open core. We construct an expansion of an o‐minimal structure by a unary predicate such that its open core is a proper o‐minimal expansion of. We give an example of a structure that has an o‐minimal open core and the exchange property, yet defines a function whose graph is dense. Finally, we produce an example of a structure that has an o‐minimal open core and definable Skolem functions, but is not (...) o‐minimal. (shrink)

Based on the work done in [][] in the o‐minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking‐independent elements that is dense inside a partial type, which we call H‐structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again H‐structures. We prove that under these assumptions the expansion is supersimple and (...) characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one‐basedness and CM‐triviality. In the one‐based case, when T has SU‐rank and the SU‐rank is continuous, we take to be the type of elements of SU‐rank and we describe a natural “geometry of generics modulo H” associated with such expansions and show it is modular. (shrink)

We study expansions of an algebraically closed field K or a real closed field R with a linearly independent subgroup G of the multiplicative group of the field or the unit circle group \\), satisfying a density/codensity condition. Since the set G is neither algebraically closed nor algebraically independent, the expansion can be viewed as “intermediate” between the two other types of dense/codense expansions of geometric theories: lovely pairs and H-structures. We show that in both the algebraically closed field and (...) real closed field cases, the resulting theory is near model complete and the expansion preserves many nice model theoretic conditions related to the complexity of definable sets such as stability and NIP. (shrink)