Pairs of theories satisfying a Mordell–Lang condition

  title={Pairs of theories satisfying a Mordell–Lang condition},
  author={Alexi Block Gorman and Philipp Hieronymi and Elliot Kaplan},
  journal={arXiv: Logic},
This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal structures, lovely pairs, fields with Mann groups, and $H$-structures, but also includes new ones, such as pairs consisting of a real closed field and a pseudo real closed subfield, and pairs of vector spaces with different fields of scalars. We use the larger generality of this framework to answer three concrete open… Expand
On the Vamos matroid, homogeneous pregeometries and dense pairs
We show that the Vámos matroid is not representable in pregeometries of rank greater than 4 satisfying a certain homogeneity condition, generalizing the result of Ingleton and Main onExpand
When is scalar multiplication decidable?
The theory of the theory of $\mathbb{R}$ viewed as an ordered K-vector space and expanded by a predicate for Z is decidable if and only if $K$ is a real quadratic field. Expand
Dp and other minimalities
A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groupsExpand
Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang
This is a contribution to the classification problem for dp-minimal expansions of $(\mathbb{Z},+)$. Let $S$ be a dense cyclic group order on $(\mathbb{Z},+)$. We use results on "dense pairs" toExpand
Externally definable quotients and NIP expansions of the real ordered additive group
  • Erik Walsberg
  • Mathematics
  • Transactions of the American Mathematical Society
  • 2021
Let $\mathscr{R}$ be an $\mathrm{NIP}$ expansion of $(\mathbb{R}, 0$ and collection $\mathcal{B}$ of bounded subsets of $\mathbb{R}^n$ such that $(\mathbb{R},<,+,\mathcal{B})$ is o-minimal.
Notes on trace equivalence
We introduce trace equivalence, a weak notion of equivalence for first order theories. In particular this gives an interesting notion of equivalence for NIP theories. We describe a close connectionExpand
Companionability Characterization for the Expansion of an O-minimal Theory by a Dense Subgroup
This paper provides a full characterization for when the expansion of a complete o-minimal theory by a unary predicate that picks out a dense and divisible proper subgroup has a model companion. ThisExpand


On lovely pairs of geometric structures
The Peterzil–Starchenko trichotomy theorem is used 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 of geometric structures. Expand
Dense pairs of o-minimal structures
The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of “small definable set” plays aExpand
Expansions which introduce no new open sets
The question of when an expansion of a first-order topological structure has the property that every open set definable in the expansion is definableIn the original structure is answered in a fairly general setting. Expand
First Order Topological Structures and Theories
  • A. Pillay
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1987
The notion of a first order topological structure is introduced, and various possible conditions on the complexity of the definable sets in such a structure are considered, drawing several consequences thereof. Expand
The model-theoretic content of Lang’s conjecture
The rest of this volume is dedicated to explaining Hrushovski’s model-theoretic approach [Hr 96] to the geometric case of a conjecture of Lang. See [Hi] for a presentation of the conjecture andExpand
Geometric structures with a dense independent subset
We study a generalization of the expansion by an independent dense set, introduced by Dolich, Miller, and Steinhorn in the o-minimal context, to the setting of geometric structures. We introduce theExpand
Tameness in expansions of the real field
What might it mean for a first-order expansion of the field of real numbers to be tame or well behaved? In recent years, much attention has been paid by model theorists and real-analytic geometers toExpand
Model theory of fields
The model theory of fields is an area for important interactions between mathematical, logical and classical mathematics. Recently, there have been major applications of model theoretic ideas to realExpand
Pseudo real closed field, pseudo p-adic closed fields and NTP2
The main result of this paper is a positive answer to the Conjecture by A. Chernikov, I. Kaplan and P. Simon: If M is a PRC-field, then Th(M) is NTP2 if and only if M is bounded. In the case of PpCExpand
Pseudo real closed fields, pseudo p-adically closed fields and NTP2
It is proved that, if M is a bounded PRC or PpC field with exactly n orders or p-adic valuations respectively, then T h ( M ) is strong of burden n, which allows us to explicitly compute the burden of types, and to describe forking. Expand