%0 Journal Article %A Baro González, Elías %T Normal triangulations in o-minimal structures %D 2010 %@ 0022-4812 %U https://hdl.handle.net/20.500.14352/42040 %X Let R be an o-minimal structure over a real closed field R. Given a simplicial complex K and some definable subsets S1, . . . , Sl of its realization |K| in R we prove that there exist a subdivision K0 of K and a definable triangulation '0: |K0| ! |K| of |K| partitioning S1, . . . , Sl with '0 definably homotopic to id|K|. As an application of this result we obtain the semialgebraic Hauptvermutung. %~