Abstract
A visceral structure on is given by a definable base for a uniform topology on its universe M in which all basic open sets are infinite and any infinite definable subset has nonempty interior.
Assuming only viscerality, we show that the definable sets in satisfy some desirable topological tameness conditions. For example, any definable function has a finite set of discontinuities; any definable function is continuous on a nonnempty 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 some of the 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.
Citation
Alfred Dolich. John Goodrick. "Tame Topology over Definable Uniform Structures." Notre Dame J. Formal Logic 63 (1) 51 - 79, February 2022. https://doi.org/10.1215/00294527-2022-0004
Information