9 citations · 25 across the 13 of their papers we have counts for
17 papers
On definable Skolem functions and trichotomy
Bruno Dinis, Mário J. Edmundo
In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many element…
Cohomology of algebraic varieties over non-archimedean fields
Pablo Cubides Kovacsics, Mário Edmundo, Jinhe Ye
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field based on Hrushovski-Loeser's stable completi…
Fundamental group in o-minimal structures with definable Skolem functions
Bruno Dinis, Mário J. Edmundo, Marcello Mamino
In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably…
The Lefschetz coincidence theorem in o-minimal expansions of fields
Mario J. Edmundo, Arthur Woerheide
In this paper we prove the Lefschetz coincidence theorem in o-minimal expansions of fields using the o-minimal singular homology and cohomology.
On the o-minimal Hilbert's fifth problem
Mario J. Edmundo, Marcello Mamino, Luca Prelli +2
Let be an arbitrary o-minimal structure. Let be a definably compact definably connected abelian definable group of dimension . Here we compute the new the intr…
On definably proper maps
Mário Edmundo, Marcello Mamino, Luca Prelli
In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces…