Tame topology over definable uniform structures

DOI10.1215/00294527-2022-0004MaRDI QIDQ2134276zbMATH OpenOpenAlexFDO

Authors Alfred Dolich, John Goodrick

Publication date 6 May 2022

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

cell decompositiontopological dimensiono-minimalityuniform topologyP-minimalitytame topology

Mathematics Subject Classification ID

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

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.

Recommendations

• Cell Decomposition and Dimension Functions in First-Order Topological Structures
• Tame topology and Tarski-type systems
• o-minimal structures
• LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES
• scientific article; zbMATH DE number 1160037

Cites work

• scientific article; zbMATH DE number 44597 (Why is no real title available?)
• scientific article; zbMATH DE number 701892 (Why is no real title available?)
• scientific article; zbMATH DE number 1008470 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• A monotonicity theorem for dp-minimal densely ordered groups
• A version of o-minimality for the p-adics
• Additivity of the dp-rank
• Asymptotic differential algebra and model theory of transseries
• Cell Decomposition and Dimension Functions in First-Order Topological Structures
• Definable Sets in Ordered Structures. II
• Dp-minimal valued fields
• Dp-minimality: basic facts and examples
• Notes on local o-minimality
• On dp-minimal ordered structures
• Quantifier elimination in ordered abelian groups
• Strong theories of ordered abelian groups
• Structures having o-minimal open core
• TOPOLOGICAL CELL DECOMPOSITION AND DIMENSION THEORY IN P-MINIMAL FIELDS
• Tame topology over dp-minimal structures
• Weakly o-minimal structures and real closed fields
• p-adic semi-algebraic sets and cell decomposition.

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)