Locally o-minimal structures with tame topological properties
arXiv:2006.13481 · doi:10.1017/jsl.2021.80
Abstract
We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.
References in corpus (1)
Cited by in corpus (8)
- Tameness of definably complete locally o-minimal structures and definable bounded multiplication
- Taming Binarized Neural Networks and Mixed-Integer Programs
- Almost o-minimal structures and -structures
- Functions definable in definably complete uniformly locally o-minimal structure of the second kind
- Notes on definably complete locally o-minimal expansions of ordered groups
- Locally o-minimal open core
- Discrete sets definable in strong expansions of ordered Abelian groups
- Definable quotients in locally o-minimal structures