Tame topology over definable uniform structures
From MaRDI portal
Publication:2134276
DOI10.1215/00294527-2022-0004zbMATH Open1495.03055arXiv1505.06455OpenAlexW3188554652MaRDI QIDQ2134276FDOQ2134276
Authors: Alfred Dolich, John Goodrick 
Publication date: 6 May 2022
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Abstract: A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered groups, p-adic fields, and other examples. Assuming only viscerality, we show that the definable sets in M satisfy some desirable topological tameness conditions. For example, any definable unary function on M has a finite set of discontinuities; any definable function on a Cartesian power of M is continuous on a nonempty open set; and assuming definable finite choice, we obtain a cell decomposition result for definable sets. Under an additional topological assumption ("no space-filling functions"), we prove that the natural notion of topological dimension is invariant under definable bijections. These results generalize theorems proved by Simon and Walsberg, who assumed dp-minimality in addition to viscerality. In the final section, we construct new examples of visceral structures.
Full work available at URL: https://arxiv.org/abs/1505.06455
Recommendations
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?)
- Additivity of the dp-rank
- Strong theories of ordered abelian groups
- Structures having o-minimal open core
- Definable Sets in Ordered Structures. II
- Weakly o-minimal structures and real closed fields
- Dp-minimality: basic facts and examples
- Title not available (Why is that?)
- Asymptotic differential algebra and model theory of transseries
- On dp-minimal ordered structures
- Notes on local o-minimality
- Title not available (Why is that?)
- A version of o-minimality for the p-adics
- p-adic semi-algebraic sets and cell decomposition.
- A monotonicity theorem for dp-minimal densely ordered groups
- Cell Decomposition and Dimension Functions in First-Order Topological Structures
- Quantifier elimination in ordered abelian groups
- TOPOLOGICAL CELL DECOMPOSITION AND DIMENSION THEORY IN P-MINIMAL FIELDS
- Dp-minimal valued fields
- Tame topology over dp-minimal structures
- Title not available (Why is that?)
Cited In (5)
- Cell Decomposition and Dimension Functions in First-Order Topological Structures
- Hensel minimality II: Mixed characteristic and a diophantine application
- Topological properties of definable sets in ordered Abelian groups of burden 2
- Uniform finiteness and viscerality
- Topologizing interpretable groups in \(p\)-adically closed fields
This page was built for publication: Tame topology over definable uniform structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2134276)
