English

Functions definable in definably complete uniformly locally o-minimal structure of the second kind

Logic 2021-02-04 v2

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 f:C×PMf:C \times P \rightarrow M which is equi-continuous with respect to PP. The projection image of the set at which ff is discontinuous to the parameter space PP is of dimension smaller than dimP\dim P when CC 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}
}