RT Journal Article T1 Normal triangulations in o-minimal structures A1 Baro González, Elías AB 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. PB Association for Symbolic Logic SN 0022-4812 YR 2010 FD 2010 LK https://hdl.handle.net/20.500.14352/42040 UL https://hdl.handle.net/20.500.14352/42040 LA eng NO Baro E. Normal triangulations in o-minimal structures. J Symb Log 2010;75:275–88. https://doi.org/10.2178/jsl/1264433921. NO GEOR DS Docta Complutense RD 8 abr 2025