Normal triangulations in o-minimal structures
classification
🧮 math.LO
keywords
closeddefinableo-minimalsubsetscompatiblecomplexdefinablyexists
read the original 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|.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.