Functions definable in definably complete uniformly locally o-minimal structure of the second kind
Abstract
We investigate continuous functions definable in a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group (DCULOAS structure). We prove a variant of the Arzela-Ascoli theorem for uniformly continuous definable functions and the following assertion: Consider the parameterized function which is equi-continuous with respect to . The projection image of the set at which is discontinuous to the parameter space is of dimension smaller than when is closed and bounded. In addition, we demonstrate that an archimedean DCULOAS structure which enjoys definable Tietze extension property is o-minimal. In the appendix, we show that an o-minimal expansion of an ordered group is not semi-bounded if and only if it enjoys definable Tietze extension property.
Keywords
Cite
@article{arxiv.2010.02420,
title = {Functions definable in definably complete uniformly locally o-minimal structure of the second kind},
author = {Masato Fujita},
journal= {arXiv preprint arXiv:2010.02420},
year = {2021}
}