Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1724

Preprint Number 1724

Previous Next Preprint server

1724. Masato Fujita
Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind

Submission date: 8 February 2020.


Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let f:X → 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)) ≤ 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.

Mathematics Subject Classification: Primary 03C64, Secondary 54F45, 54E52

Keywords and phrases:

Full text arXiv 2002.03078: pdf, ps.

Last updated: March 23 2021 10:21 Please send your corrections to: