Elías Baro

dblp:38/7729 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
1since 2021 · last 2021
0000-0002-4223-2323ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 3 first-author · 1 since 2021
YearPublicationVenuePosition
2021 Open core and small groups in dense pairs of topological structures
Elías Baro, Amador Martin-Pizarro
Ann. Pure Appl. Log.1
2010 Locally definable homotopy
Elías Baro, Margarita Otero
Ann. Pure Appl. Log.1
2010 Normal triangulations in o-minimal structures
abstract
Abstract Let 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 K′ of K and a definable triangulation φ′: ∣K′∣ → ∣K∣ of ∣K∣ partitioning S1, …, Sl with φ′ definably homotopic to id∣K∣. As an application of this result we obtain the semialgebraic Hauptvermutung.
Elías Baro
J. Symb. Log.1