# Pairs of theories satisfying a Mordell–Lang condition

@article{Gorman2018PairsOT, title={Pairs of theories satisfying a Mordell–Lang condition}, author={Alexi Block Gorman and Philipp Hieronymi and Elliot Kaplan}, journal={arXiv: Logic}, year={2018} }

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

#### 7 Citations

On the Vamos matroid, homogeneous pregeometries and dense pairs

- Computer Science
- Australas. J Comb.
- 2019

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 on… Expand

When is scalar multiplication decidable?

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2019

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

- Mathematics
- 2019

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 groups… Expand

Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang

- Mathematics
- 2020

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" to… Expand

Externally definable quotients and NIP expansions of the real ordered additive group

- 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

- Mathematics
- 2021

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 connection… Expand

Companionability Characterization for the Expansion of an O-minimal Theory by a Dense Subgroup

- Mathematics
- 2020

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. This… Expand

#### References

SHOWING 1-10 OF 51 REFERENCES

On lovely pairs of geometric structures

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2010

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

- Mathematics
- 1998

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 a… Expand

Expansions which introduce no new open sets

- Mathematics, Computer Science
- The Journal of Symbolic Logic
- 2012

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

- 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

- Mathematics
- 1998

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 and… Expand

Geometric structures with a dense independent subset

- Mathematics
- 2016

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 the… Expand

Tameness in expansions of the real field

- Mathematics
- 2016

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 to… Expand

Model theory of fields

- Mathematics
- 1996

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 real… Expand

Pseudo real closed field, pseudo p-adic closed fields and NTP2

- Mathematics
- 2014

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 PpC… Expand

Pseudo real closed fields, pseudo p-adically closed fields and NTP2

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2017

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