VLDB 2026 Research / reviewers in the wild / expert
Mário J. Edmundo
dblp:01/6058
· DBLP profile ↗
4ranked-venue papers
1as first author
2since 2021 · last 2025
0000-0002-3350-9271ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | On definable Skolem functions and trichotomyabstractIn this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many elements from the prime model, a union of finitely many trivial points each defined over ∅ and finitely many open intervals each a union of a ∅-definable family of group-intervals with fixed positive elements. Bruno Dinis, Mário J. Edmundo |
Ann. Pure Appl. Log. | 2 |
| 2021 | Fundamental group in o-minimal structures with definable Skolem functions
Bruno Dinis, Mário J. Edmundo, Marcello Mamino |
Ann. Pure Appl. Log. | 2 |
| 2007 | Corrigendum to: "Transfer methods for o-minimal topology"
Alessandro Berarducci, Mário J. Edmundo, Margarita Otero |
J. Symb. Log. | 2 |
| 2000 | Structure Theorems for o-Minimal Expansions of Groups
Mário J. Edmundo |
Ann. Pure Appl. Log. | 1 |