Baro González, Elías2023-06-202023-06-202010Baro E. Normal triangulations in o-minimal structures. J Symb Log 2010;75:275–88. https://doi.org/10.2178/jsl/1264433921.0022-481210.2178/jsl/1264433921GEORhttps://hdl.handle.net/20.500.14352/42040Let 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.engjournal articlehttps://doi.org/10.2178/jsl/1264433921http://projecteuclid.org/Dienst/UI/1.0/Journalopen access512.7Normal triangulationo-minimalSemialgebraicHauptvermutungGeometria algebraica1201.01 Geometría Algebraica