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

DOI10.1090/TRAN/8499MaRDI QIDQ5036091zbMATHOpenAlexFDO

Authors Erik Walsberg

Publication date 23 February 2022

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

open coreexpansions of the realstame expansionslocally o-minimal structures

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64)

Abstract: Let $mathcalR$ be an $mathrmNIP$ expansion of $(mathbbR,<,+)$ by closed subsets of $mathbb{R}^n$ and continuous functions $f:mathbb{R}^{m}omathbb{R}^n$. Then $mathcalR$ is generically locally o-minimal. It follows that if $Xsubseteqmathbb{R}^n$ is definable in $mathcalR$ then the $C^k$-points of $X$ are dense in $X$ for any $kgeq0$. This follows from a more general theorem on $mathrmNIP$ expansions of locally compact groups, which itself follows from a result on quotients of definable sets by equivalence relations which are externally definable and $$-definable. We also show that $mathcalR$ is strongly dependent if and only if $mathcalR$ is either o-minimal or $(mathbbR,<,+,alphamathbbZ)$-minimal for some $alpha>0$.

Recommendations

• Externally definable sets and dependent pairs
• External definability and groups in NIP theories
• Externally definable sets and dependent pairs. II
• Wild theories with o-minimal open core
• Structures having o-minimal open core

Cites work

• scientific article; zbMATH DE number 3786742 (Why is no real title available?)
• scientific article; zbMATH DE number 3622573 (Why is no real title available?)
• scientific article; zbMATH DE number 7379289 (Why is no real title available?)
• scientific article; zbMATH DE number 2222021 (Why is no real title available?)
• A Generalization of Semenov’s Theorem to Automata over Real Numbers
• A Guide to NIP Theories
• A conjectural classification of strongly dependent fields
• Coset-minimal groups
• Definable Boolean combinations of open sets are Boolean combinations of open definable sets
• Definable types in -minimal theories
• Defining the set of integers in expansions of the real field by a closed discrete set
• Dependent first order theories, continued
• Expansions of the Real Field by Canonical Products
• Externally definable sets and dependent pairs
• Externally definable sets and dependent pairs. II
• How to avoid a compact set
• Locally o-minimal structures
• Notes on local o-minimality
• On definable Skolem functions in weakly o-minimal nonvaluational structures
• On dp-minimal ordered structures
• On o-minimal expansions of Archimedean ordered groups
• On the strong cell decomposition property for weakly o-minimal structures
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
• Strong theories of ordered abelian groups
• Structure theorems for o-minimal expansions of groups
• Structures having o-minimal open core
• Tame topology over dp-minimal structures
• The Cantor function
• VC-sets and generic compact domination
• Valued Fields
• Weakly o-minimal nonvaluational structures
• Weakly o-minimal structures and real closed fields

Cited in

(3)

• Externally definable sets and dependent pairs. II
• A tetrachotomy for expansions of the real ordered additive group
• External definability and groups in NIP theories

This page was built for publication: Externally definable quotients and NIP expansions of the real ordered additive group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5036091)