Mário Edmundo
Contactos
Departamento de MatemáticaSala/Gabinete 6.1.12
Ext. Principal 26112
Telefone Direto 217500270
Email mjedmundo@ciencias.ulisboa.pt
Página Pessoal
Carreira Docente Universitário
Categoria Professor Associado
Indicadores
ResearcherIDOrcid
Palavras Chave
- model theory
- o-minimal structures
- semi-algebraic and subanalytic geometry
Keywords
- model theory
- o-minimal structures
- semi-algebraic and subanalytic geometry
Professor Associado, Universidade de Lisboa (Dez.2015 - );
Professor Auxiliar, Universidade Aberta (Set.2005-Dez.2015);
Investigador da European Research and Training Network MODNET (Model Theory) (Jan 2005-Dec. 2008);
Assistente na Universidade Aberta (Set. 2003-Set.2005);
Investigador da European Research and Training Network RAAG (Real Algebraic and Analytic Geometry) (Sep. 2002-Sep. 2003);
Pós-doutoramento FCT, CMAF – Universidade de Lisboa e Mathematical Institute, University of Oxford (Jan. 2002-Aug. 2003);
EPSRC Research Fellow in Mathematics, University of Oxford (Jan. 2000-Dec. 2001);
DPhil in Mathematics, University of Oxford (2000);
Licenciatura em Matemática Pura, Universidade do Porto (1995).
Teoria de modelos (Lógica matemática). Estruturas o-minimais (teoría de modelos analítica, incluindo geometría semi-algébrica e sub-analítica). Aplicações da teoria de modelos.
Model theory (Mathematical logic). O-minimal structures (analytic model theory, including Semi-algebraic and Sub-analytic geometry). Applications of model theory.
- "Sheaves on T-topologies" (with L. Prelli) J. Math. Soc. Japan 68 (1) (2016) 347-381.
- "Discrete subgroups of locally definable groups" (with A. Berarducci and M. Mamino) Selecta Math. (New Series) 19 (3) (2013) 719-736.
- "Comparison theorems for o-minimal singular (co)homology" (with A.Woerheide). Trans. Amer. Math. Soc. 360 (9) (2008) 4889-4912.
- "Integration of positive constructible functions against Euler characteristic and dimension" (with R.Cluckers) J. Pure Appl. Algebra 208 (2) (2007) 691-698.
- "Definably compact abelian groups" (with M.Otero) J. Math. Logic 4 (2) (2004) 163-180.