Normal triangulations in o-minimal structures
Logic
2007-10-31 v1
Abstract
We work over an o-minimal expansion of a real closed field R. Given a closed simplicial complex K and a finite number of definable subsets of its realization |K| in R we prove that there exists a triangulation (K',f) of |K| compatible with the definable subsets such that K' is a subdivision of K and f is definably homotopic to the identity on |K|.
Keywords
Cite
@article{arxiv.0710.5718,
title = {Normal triangulations in o-minimal structures},
author = {Elias Baro},
journal= {arXiv preprint arXiv:0710.5718},
year = {2007}
}