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

DOI10.1090/TRAN/8499zbMATH Open1495.03056arXiv1910.10572OpenAlexW3177259820MaRDI QIDQ5036091FDOQ5036091

Authors: Erik Walsberg 

Publication date: 23 February 2022

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

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$.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Valued Fields
• Definable Boolean combinations of open sets are Boolean combinations of open definable sets
• Strong theories of ordered abelian groups
• Structures having o-minimal open core
• Weakly o-minimal structures and real closed fields
• On o-minimal expansions of Archimedean ordered groups
• Title not available (Why is that?)
• The Cantor function
• Weakly o-minimal nonvaluational structures
• On dp-minimal ordered structures
• Notes on local o-minimality
• Definable types in -minimal theories
• Dependent first order theories, continued
• Externally definable sets and dependent pairs
• Title not available (Why is that?)
• Defining the set of integers in expansions of the real field by a closed discrete set
• Locally o-minimal structures
• A conjectural classification of strongly dependent fields
• A Guide to NIP Theories
• Structure theorems for o-minimal expansions of groups
• VC-sets and generic compact domination
• 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
• Coset-minimal groups
• Externally definable sets and dependent pairs. II
• A Generalization of Semenov’s Theorem to Automata over Real Numbers
• How to avoid a compact set
• Tame topology over dp-minimal structures
• On definable Skolem functions in weakly o-minimal nonvaluational structures
• Title not available (Why is that?)
• Expansions of the Real Field by Canonical Products

Cited In (3)

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

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)