???global.info.a_carregar???
Identification

Personal identification

Full name
Mário Jorge Edmundo

Citation names

  • Edmundo, Mário J.

Author identifiers

Ciência ID
0310-CC24-B3B5
ORCID iD
0000-0002-3350-9271
Researcher Id
P-3392-2015
Education
Degree Classification
2000
Concluded
 DPhil In Mathematics (Doutoramento)
Major in Mathematics
University of Oxford, United Kingdom
"O-minimal Expansions of Groups" (THESIS/DISSERTATION)
1995
Concluded
 Matemática (Licenciatura)
Major in Matemática Pura
Universidade do Porto, Portugal
Affiliation

Science

Category
Host institution 		Employer
2002/01 - 2003/08 Postdoc (Research) University of Oxford Mathematical Institute, United Kingdom
University of Oxford Mathematical Institute, United Kingdom
(...)
2000/01 - 2001/12 Researcher (Research) University of Oxford Mathematical Institute, United Kingdom
University of Oxford Mathematical Institute, United Kingdom

Teaching in Higher Education

Category
Host institution 		Employer
2015 - Current Associate Professor (University Teacher) Universidade de Lisboa, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
2005 - 2015 Assistant Professor (University Teacher) Universidade Aberta, Portugal
Universidade Aberta, Portugal
2003 - 2005 Assistant (University Teacher) Universidade Aberta, Portugal
Universidade Aberta, Portugal
Projects

Grant

Designation Funders
2009/01/01 - 2009/06/26 Fields Institute program grant: Thematic program on o-minimal structures and real analytic geometry
no number
Researcher
The Fields Institute for Research in Mathematical Sciences, Canada
 The Fields Institute for Research in Mathematical Sciences
Concluded
2005/01/17 - 2005/06/15 Program on Model Theory and Applications to Algebra and Analysis - Issac Newton Institute for Mathematical Sciences
No number
Researcher
Issac Newton Institute for Mathematical Sciences, Cambridge University, United Kingdom
 Fundação Calouste Gulbenkian
Concluded
2002/01/01 - 2003/08/31 COHOMOLOGY, K-THEORY AND SHEAVES IN O-MINIMAL STRUCTURES
SFRH/BPD/6015/2001
Post-doc Fellow
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal

University of Oxford Mathematical Institute, United Kingdom
Fundação para a Ciência e a Tecnologia
Concluded
2000 - 2001 EPSRC (Engineering and Physical Sciences Research Council) Postdoctorial Fellowship in Mathematics and Theoretical Physics
GR/M66332
Research Fellow
University of Oxford Mathematical Institute, United Kingdom
 Engineering and Physical Sciences Research Council
Concluded
1995 - 1999 FCT PhD grant
PRAXIS XII/BD/5915/96
PhD Student Fellow
University of Oxford Mathematical Institute, United Kingdom
 Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2012/12/01 - 2014/11/30 Model Theory and Algebraic Analysis
272021
Supervisor
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 European Commission Third Framework Programme
Concluded
2012/02 - 2014/01 Applications and extensions of o-minimality
grant.Provided by PTCRIS: 122844
Principal investigator
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2010/02 - 2012/01 On o-minimality and definably compact groups
grant.Provided by PTCRIS: 101740
Principal investigator
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2011/01/01 - 2011/12/31 Lisbon - Dijon, O- minimality and quantifier elimination for quasi-analytic algebras of functions, and application to non-oscillation problems in dynamical systems
cnrs128447776310533
Principal investigator
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 Fundação para a Ciência e a Tecnologia

Centre National de la Recherche Scientifique
Concluded
2010/01/01 - 2010/12/31 Lisbon-Lyon, Model Theory
cnrs125413551222198
Principal investigator
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
 Fundação para a Ciência e a Tecnologia

Centre National de la Recherche Scientifique
Concluded
Outputs

Publications

Conference paper
  1. Edmundo, Mário. "Covering definable manifolds by open definable subsets". Paper presented in Logic Colloquium 2005, Athens, 2005.
    Published • 10.1017/cbo9780511546464.004
  2. Edmundo, Mário. "On Solvable groups and rings definable in o-minimal structures". Paper presented in Logic Colloquium'99, Utrecht, 1999.
    Published
Journal article
  1. Pablo Cubides Kovacsics; Mário Edmundo; Jinhe Ye. "Cohomology of algebraic varieties over non-archimedean fields". Forum of Mathematics, Sigma 10 (2022): http://dx.doi.org/10.1017/fms.2022.84.
    10.1017/fms.2022.84
  2. Bruno Dinis; Mário J. Edmundo; Marcello Mamino. "Fundamental group in o-minimal structures with definable Skolem functions". Annals of Pure and Applied Logic 172 8 (2021): 102975-102975. http://dx.doi.org/10.1016/j.apal.2021.102975.
    10.1016/j.apal.2021.102975
  3. Edmundo, Mário J.; Prelli, Luca. "The six Grothendieck operations on o-minimal sheaves". Mathematische Zeitschrift 294 1-2 (2019): 109-160. http://dx.doi.org/10.1007/s00209-019-02274-0.
    Published • 10.1007/s00209-019-02274-0
  4. Edmundo, M.J.; Mamino, M.; Prelli, L.; Ramakrishnan, J.; Terzo, G.. "On Pillay's conjecture in the general case". Advances in Mathematics 310 (2017): 940-992. http://www.scopus.com/inward/record.url?eid=2-s2.0-85013834370&partnerID=MN8TOARS.
    10.1016/j.aim.2017.02.015
  5. Mário J. Edmundo; Luca Prelli. "Invariance of o-minimal cohomology with definably compact supports". Confluentes Mathematici 7 1 (2016): 35-53. http://dx.doi.org/10.5802/cml.17.
    10.5802/cml.17
  6. Edmundo, M.J.; Mamino, M.; Prelli, L.. "On definably proper maps". Fundamenta Mathematicae 233 1 (2016): 1-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-84959891640&partnerID=MN8TOARS.
    10.4064/fm96-12-2015
  7. Edmundo, M.J.; Prelli, L.. "Sheaves on T-topologies". Journal of the Mathematical Society of Japan 68 1 (2016): 347-381. http://www.scopus.com/inward/record.url?eid=2-s2.0-85000427894&partnerID=MN8TOARS.
    10.2969/jmsj/06810347
  8. Edmundo, Mário J.; Prelli, Luca. "O-minimality and sheaf Cohomology". Boletim da Sociedade Portuguesa de Matemática 2016 (2016): 99-102.
    Published
  9. Edmundo, M.J.; Prelli, L.. "The six Grothendieck operations on o-minimal sheaves". Comptes Rendus Mathematique 352 6 (2014): 455-458. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901627598&partnerID=MN8TOARS.
    10.1016/j.crma.2014.03.021
  10. Edmundo, M.J.; Eleftheriou, P.E.; Prelli, L.. "Coverings by open cells". Archive for Mathematical Logic 53 3-4 (2014): 307-325. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899455606&partnerID=MN8TOARS.
    10.1007/s00153-014-0367-x
  11. Edmundo, M.J.; Eleftheriou, P.E.; Prelli, L.. "The universal covering map in o-minimal expansions of groups". Topology and its Applications 160 13 (2013): 1530-1556. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882867402&partnerID=MN8TOARS.
    10.1016/j.topol.2013.05.025
  12. Berarducci, A.; Edmundo, M.; Mamino, M.. "Discrete subgroups of locally definable groups". Selecta Mathematica, New Series 19 3 (2013): 719-736. http://www.scopus.com/inward/record.url?eid=2-s2.0-84880778329&partnerID=MN8TOARS.
    10.1007/s00029-013-0123-9
  13. Edmundo, M.J.; Terzo, G.. "A note on generic subsets of definable groups". Fundamenta Mathematicae 215 1 (2011): 53-65. http://www.scopus.com/inward/record.url?eid=2-s2.0-80155196730&partnerID=MN8TOARS.
    10.4064/fm215-1-3
  14. Edmundo, M.J.. "On the Euler characteristic of definable groups". Mathematical Logic Quarterly 57 1 (2011): 44-46. http://www.scopus.com/inward/record.url?eid=2-s2.0-79551544636&partnerID=MN8TOARS.
    10.1002/malq.200910126
  15. Araújo, J.; Edmundo, M.; Givant, S.. "V*-algebras, independence algebras and logic". International Journal of Algebra and Computation 21 7 (2011): 1237-1257. http://www.scopus.com/inward/record.url?eid=2-s2.0-82955169589&partnerID=MN8TOARS.
    10.1142/S0218196711006923
  16. Edmundo, M.J.; Jones, G.O.; Peatfield, N.J.. "Invariance results for definable extensions of groups". Archive for Mathematical Logic 50 1-2 (2011): 19-31. http://www.scopus.com/inward/record.url?eid=2-s2.0-79251646628&partnerID=MN8TOARS.
    10.1007/s00153-010-0196-5
  17. Edmundo, M.J.; Prelli, L.. "Poincaré - Verdier duality in o-minimal structures". Annales de l'Institut Fourier 60 4 (2010): 1259-1288. http://www.scopus.com/inward/record.url?eid=2-s2.0-78349299426&partnerID=MN8TOARS.
  18. Edmundo, M.J.; Terzo, G.. "On freely generated E-subrings". Journal of Pure and Applied Algebra 213 5 (2009): 690-697. http://www.scopus.com/inward/record.url?eid=2-s2.0-58849128593&partnerID=MN8TOARS.
    10.1016/j.jpaa.2008.09.013
  19. Edmundo, M.J.; Woerheide, A.. "The Lefschetz coincidence theorem in o-minimal expansions of fields". Topology and its Applications 156 15 (2009): 2470-2484. http://www.scopus.com/inward/record.url?eid=2-s2.0-68249114529&partnerID=MN8TOARS.
    10.1016/j.topol.2009.07.002
  20. Edmundo, M.J.; Eleftheriou, P.E.. "Definable group extensions in semi-bounded o-minimal structures". Mathematical Logic Quarterly 55 6 (2009): 598-604. http://www.scopus.com/inward/record.url?eid=2-s2.0-76749148133&partnerID=MN8TOARS.
    10.1002/malq.200910027
  21. Baro, E.; Edmundo, M.J.. "Corrigendum to "Locally definable groups in o-minimal structures" [J. Algebra 301 (2006) 194-223] (DOI:10.1016/j.jalgebra.2005.04.016)". Journal of Algebra 320 7 (2008): 3079-3080. http://www.scopus.com/inward/record.url?eid=2-s2.0-49549122195&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2008.07.010
  22. Edmundo, M.J.; Peatfield, N.J.. "o-minimal Cech cohomology". Quarterly Journal of Mathematics 59 2 (2008): 213-220. http://www.scopus.com/inward/record.url?eid=2-s2.0-45849128258&partnerID=MN8TOARS.
    10.1093/qmath/ham036
  23. Edmundo, M.J.; Woerheide, A.. "Comparison theorems for o-minimal singular (co)homology". Transactions of the American Mathematical Society 360 9 (2008): 4889-4912. http://www.scopus.com/inward/record.url?eid=2-s2.0-68249087476&partnerID=MN8TOARS.
    10.1090/S0002-9947-08-04403-6
  24. Edmundo, M.J.. "Erratum to: "Covers of groups definable in o-minimal structures" [Ollinois J. Math. 49 (2005), 99-120]". Illinois Journal of Mathematics 51 3 (2007): 1037-1038. http://www.scopus.com/inward/record.url?eid=2-s2.0-46849107320&partnerID=MN8TOARS.
  25. Cluckers, R.; Edmundo, M.. "Integration of positive constructible functions against Euler characteristic and dimension". Journal of Pure and Applied Algebra 208 2 (2007): 691-698. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750841052&partnerID=MN8TOARS.
    10.1016/j.jpaa.2006.03.005
  26. Edmundo, M.J.. "A fixed point theorem in o-minimal structures". Annales de l'Institut Fourier 57 5 (2007): 1441-1450. http://www.scopus.com/inward/record.url?eid=2-s2.0-36248953931&partnerID=MN8TOARS.
  27. Edmundo, M.J.; Eleftheriou, P.E.. "The universal covering homomorphism in o-minimal expansions of groups". Mathematical Logic Quarterly 53 6 (2007): 571-582. http://www.scopus.com/inward/record.url?eid=2-s2.0-35949004414&partnerID=MN8TOARS.
    10.1002/malq.200610051
  28. Berarducci, A.; Edmundo, M.; Otero, M.. "Erratum: Transfer methods for o-minimal topology: The Journal of Symbolic Logic". Journal of Symbolic Logic 72 3 (2007): 1079-1080. http://www.scopus.com/inward/record.url?eid=2-s2.0-35448939547&partnerID=MN8TOARS.
    10.2178/jsl/1191333858
  29. Edmundo, M.J.. "Locally definable groups in o-minimal structures". Journal of Algebra 301 1 (2006): 194-223. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646707843&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2005.04.016
  30. Edmundo, Mário. "SHEAF COHOMOLOGY IN o-MINIMAL STRUCTURES". (2006):
    10.1142/s0219061306000566
  31. Edmundo, M.J.. "Covers of groups definable in o-minimal structures". Illinois Journal of Mathematics 49 1 (2005): 99-120. http://www.scopus.com/inward/record.url?eid=2-s2.0-28844493624&partnerID=MN8TOARS.
  32. Edmundo, M.J.. "A remark on divisibility of definable groups". Mathematical Logic Quarterly 51 6 (2005): 639-641. http://www.scopus.com/inward/record.url?eid=2-s2.0-27744494133&partnerID=MN8TOARS.
    10.1002/malq.200510014
  33. EDMUNDO, MÁRIO J.; OTERO, MARGARITA. "DEFINABLY COMPACT ABELIAN GROUPS". Journal of Mathematical Logic 04 02 (2004): 163-180. http://dx.doi.org/10.1142/s0219061304000358.
    Published • 10.1142/s0219061304000358
  34. Edmundo, M.J.. "Solvable groups definable in o-minimal structures". Journal of Pure and Applied Algebra 185 1-3 (2003): 103-145. http://www.scopus.com/inward/record.url?eid=2-s2.0-0141649275&partnerID=MN8TOARS.
    10.1016/S0022-4049(03)00085-9
  35. Edmundo, M.J.. "Structure theorems for o-minimal expansions of groups". Annals of Pure and Applied Logic 102 1-3 (2000): 159-181. http://www.scopus.com/inward/record.url?eid=2-s2.0-0141584666&partnerID=MN8TOARS.
Thesis / Dissertation
  1. Schimura, Ricardo Mateus. "Some examples of quantifier elimination and o-minimality". Master, 2021. http://hdl.handle.net/10451/51256.
  2. Raimundo, António Pedro da Silva. "10º problema de Hilbert para subanéis de Q". Master, 2014. http://hdl.handle.net/10400.2/4420.
  3. Inácio, Maria do Rosário Dinis. "Polimorfismo atómico e o teorema da normalização forte". Master, 2014. http://hdl.handle.net/10400.2/3310.
  4. Augusto, Luís Manuel da Silva. "Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes". Master, 2013. http://hdl.handle.net/10400.2/3237.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2023/09 On proper direct image and ... other crazy images in my mind! Colóquio de Matemática
Departamento de Matemática, Faculdade de Ciências da Universidade de Lisboa (Lisboa, Portugal)
2022/08 Logic and algebraic varieties in non-archimedean fields Encontro Conjunto Brasil-Portugal em Matemática
Universidade Federal da Bahia (Salvador da Baia, Brazil)
2022/07 (co)homology of algebraic varieties over non-archimedean fields Workshop on Practical and Structural Model Theory
University of Leeds (Leeds, United Kingdom)
2020/09 Logic and algebraic varieties in non-archimedean fields Encontros Abertos do CMAFcIO
Centro de Matemática e Aplicações Fundamentais e Investigação Operacional da Universidade de Lisboa (Lisboa, Portugal)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023 - Current O-minimality and sub-analytic geometry
Supervisor
 Matemática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2021 Some examples of quantifier elimination and o-minimality
Supervisor
 Matemática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2015 10º Problema de Hilbert para SubAnéis de Q
Supervisor
 Estatística, Matemática e Computação (Master)
Universidade Aberta, Portugal
2012/12/01 - 2014/11/30 Marie Curie Intra-European Fellowships
Supervisor of Luca Prelli (PhD at University of Padova, Italy, and University of Paris 6, France 2006)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2008/07/01 - 2014/06/30 FCT Postdoc grant
Supervisor of Tamara Servi (PhD at Scuola Normale Superiore di Pisa, Italy, 2007)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2012 - 2014 Demonstração Automática de Teoremas em Lógicas Não Clássicas: Resolução Assinalada para Lógicas Multivalentes
Co-supervisor
 Estatística, Matemática e Computação (Master)
Universidade Aberta, Portugal
2012 - 2014 Polimorfismo Atómico e o Teorema de Normalização Forte
Co-supervisor
 Estatística, Matemática e Computação (Master)
Universidade Aberta, Portugal
2011/04/01 - 2013/08/31 FCT Postdoc grant
Supervisor of Marcello Mamino (PhD at Scuola Normale Superiore di Pisa, Italy, 2010)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2007/07/01 - 2013/06/30 FCT Postdoc grant
Supervisor of Alexander Usvyatsov (PhD at The Hebrew University in Jerusa- lem, Israel, 2006)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2010/10/01 - 2012/09/30 FCT Postdoc grant
Supervisor of Janak Ramakrishnan (PhD at University of California, Berkeley, USA, 2008)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2009/09/01 - 2012/08/31 FCT Postdoc grant
Supervisor of Ayhan Gunaydin (PhD at University of Illinois at Urbana-Champaign, USA, 2008)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2008/07/01 - 2011/06/30 FCT Postdoc grant
Supervisor of Pantellemon Eleftheirou (PhD at University of Notre Dame, USA, 2007
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2007/11/01 - 2008/08/31 FCT Postdoc grant
Supervisor of Giuseppina Terzo (PhD at University of Naples Frederico II, Italy, 2006)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2007/01/08 - 2007/10/31 CMAF Postdoc grant
Supervisor of Giuseppina Terzo (PhD at University of Naples Frederico II, Italy, 2006)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal
2005/01/10 - 2005/12/31 CMAF Postdoc grant
Supervisor of Nicholas Peatfield (DPhil at University of Oxford, England, 2003)
Universidade de Lisboa Centro de Matemática Aplicações Fundamentais e Investigação Operacional, Portugal

Ad Hoc journal article review

Journal title (ISSN) Publisher
2023 - Current Illinois Journal of Mathematics Duke University Press
2023 - Current Mathematical Logic Quarterly (0942-5616) Wiley
2022 - Current Journal of the Institute of Mathematics Jussieu (1475-3030) Cambridge University Press
2020 - Current Bulletin of the London Mathematical Society (1495-2120) London Mathematical Society
2020 - Current Pacific Journal of Mathematics (1945-5844) Mathematical Sciences Publishers
2018 - Current Advances in Mathematics (1090-2082) Science Direct
2018 - Current Journal of the London Mathematical Society (1469-7750) London Mathematical Society
2016 - Current Archive for Mathematical Logic (1432-0665) Springer
2015 - Current Selecta Mathematica (New Series) (1420-9020) Springer
2013 - Current Revista Colombiana de Matemáticas (2357-4100) Sociedad Colombiana de Matemáticas
2012 - Current Proceedings of the London Mathematical Society (0024-6115) London Mathematical Society
2011 - Current Annales Polonici Mathematici (1730-6272) Polish Academy of Sciences
2010 - Current Journal of Mathematical Logic (1793-6691) World Scientific
2010 - Current Journal of Symbolic Logic (1943-5886) Cambridge University Press
2009 - Current Portugaliae Mathematica (1662-2758) European Mathematical Society
2007 - Current Annals of Pure and Applied Logic (1873-2471) Science Direct
2007 - Current Fundamenta Mathematicae (1730-6329) Polish Academy of Sciences

Association member

Society Organization name Role
2005/01/01 - 2008/12/31 European Research and Training Network MODNET (Model Theory) Researcher
2002/09/01 - 2003/09/01 European Research and Training Network RAAG (Real Algebraic and Analytic Geometry) Researcher

Other jury / evaluation

Activity description Institution / Organization
2022 - Current External evaluator of research projects in Mathematics for Agencia Estatal de Investigation (AEI), Spain.
2014 - 2017 External evaluator of research projects in Mathematics for the Agencia Nacional de Evaluacion e Prospectiva (ANEP), Spain.
2013 - 2013 External evaluator of research projects in Mathematics for Convocatória de Ciências Básicas 2013 de la Faculdad de Ciências, Universidade de Los Andes, Bogotá, Colombia.

Scientific expedition

Activity description Institution / Organization
2009/01/01 - 2009/06/26 Visitor at the Fields Institute for Research in Mathematical Sciences The Fields Institute for Research in Mathematical Sciences, Canada
2005/01/17 - 2005/07/15 Visitor at the Isaac Newton Institute for Mathematical Sciences University of Cambridge Isaac Newton Institute for Mathematical Sciences, United Kingdom
1998/01/01 - 1998/06/30 Student Associate at MSRI Berkeley Mathematical Sciences Research Institute, United States
1996/08/01 - 1997/07/31 Visiting Student at the Fields Institute for Research in Mathematical Sciences The Fields Institute for Research in Mathematical Sciences, Canada