Mário J. Edmundo

1. O-minimal cohomology and definably compact definable groups
   2000/12/07 by Mario J. Edmundo, Mário J. Edmundo, Edmundo, Mario J. · 2 citations
   Computer Science · Mathematics · #Advanced Topology and Set Theory #Algebraic Topology (math.AT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, Reasoning, and Knowledge #math.AT #math.LO
2. On definable Skolem functions and trichotomy
   2022/07/22 by Bruno Dinis, Mário J. Edmundo, Dinis, Bruno +1 · 1 citation
   Computer Science · Mathematics · #03C64 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras