Notes on definably complete locally o-minimal expansions of ordered groups
Logic
2023-06-09 v1
Abstract
We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate uniform continuity of a definable continuous function on a closed, bounded and definable set and Arzela-Ascoli-type theorem. We propose a notion of special submanifolds with tubular neighborhoods and show that any definable set is decomposed into finitely many special submanifolds with tubular neighborhoods.
Keywords
Cite
@article{arxiv.2204.01898,
title = {Notes on definably complete locally o-minimal expansions of ordered groups},
author = {Masato Fujita},
journal= {arXiv preprint arXiv:2204.01898},
year = {2023}
}
Comments
arXiv admin note: text overlap with arXiv:2010.02420