Pairs of theories satisfying a Mordell–Lang condition
DOI10.4064/fm857-1-2020zbMath1461.03028arXiv1806.00030OpenAlexW3014654431MaRDI QIDQ5146418
Elliot Kaplan, Philipp Hieronymi, Alexi Block Gorman
Publication date: 25 January 2021
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1806.00030
geometric structuresdecidabilitysemialgebraic seto-minimalityreal closed fieldNIPpairs of structures
Decidability of theories and sets of sentences (03B25) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (5)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Expansions of o-minimal structures by dense independent sets
- Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
- On lovely pairs of geometric structures
- Geometric structures with a dense independent subset
- Wild theories with o-minimal open core
- Externally definable sets and dependent pairs
- When is scalar multiplication decidable?
- Structures having o-minimal open core
- d-computable categoricity for algebraic fields
- First order topological structures and theories
- On definable subsets of p-adic fields
- A version of o-minimality for the p-adics
- A Guide to NIP Theories
- Expansions which introduce no new open sets
- THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
- Solution of a problem of Tarski
This page was built for publication: Pairs of theories satisfying a Mordell–Lang condition