Definable one dimensional topologies in o-minimal structures
Logic
2019-04-30 v2
Abstract
We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space is definably homeomorphic to an affine definable space (namely, a definable subset of with the induced subspace topology). One of the main results says that it is sufficient for to be regular and decompose into finitely many definably connected components.
Cite
@article{arxiv.1807.08086,
title = {Definable one dimensional topologies in o-minimal structures},
author = {Ya'acov Peterzil and Ayala Rosel},
journal= {arXiv preprint arXiv:1807.08086},
year = {2019}
}