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.

Abstract Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let $f:X \rightarrow R^n$ be a definable map, where X is a definable set and R is the universe of the structure. We demonstrate the inequality $\dim (f(X)) \leq \dim (X)$ in this paper. As a corollary, we get that the set of the points at which f is discontinuous is of dimension smaller than $\dim (X)$ . We also show that the structure is definably Baire in the course of the proof of the inequality.