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

zbMATH Keywords

geometric structuresdecidabilitysemialgebraic seto-minimalityreal closed fieldNIPpairs of structures

Mathematics Subject Classification ID

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)

Unnamed Item ⋮ Coarse dimension and definable sets in expansions of the ordered real vector space ⋮ Companionability characterization for the expansion of an o-minimal theory by a dense subgroup ⋮ Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ When is scalar multiplication decidable?

Uses Software

• MathOverflow

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