Mário J. Edmundo

dblp:01/6058 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2025 On definable Skolem functions and trichotomy
abstract
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 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