Companionability characterization for the expansion of an o-minimal theory by a dense subgroup

DOI10.1016/j.apal.2023.103316arXiv2003.06366OpenAlexW3011769116MaRDI QIDQ6076361

Alexi Block Gorman

Publication date: 21 September 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.06366

zbMATH Keywords

o-minimalityNIPmodel companion\(\mathrm{NTP}_2\)generic reductinterpolative fusion

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Unnamed Item
• Unnamed Item
• Adding Skolem functions to simple theories
• Geometric structures with a dense independent subset
• Model theory.
• Generic structures and simple theories
• Stability in geometric theories
• Undefinability results in o-minimal expansions of the real numbers
• Toward classifying unstable theories
• Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
• The independence property in generalized dense pairs of structures
• Simple unstable theories
• A growth dichotomy for o-minimal expansions of ordered groups
• Infinite Differentiability in Polynomially Bounded O-Minimal Structures
• Pairs of theories satisfying a Mordell–Lang condition
• Interpolative fusions
• Generic expansions by a reduct
• A Guide to NIP Theories
• Pathological examples of structures with o‐minimal open core

This page was built for publication: Companionability characterization for the expansion of an o-minimal theory by a dense subgroup