Professor Auxiliar at
Universidade Aberta.
FCT Research Fellow in Mathematics at CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa and at the Mathematical Institute
of the University of Oxford, England (Jan. 2002Aug. 2003), EPSRC Research Fellow
in Mathematics at the University of Oxford, England (Jan. 2000Dec. 2001),
DPhil in Mathematics by the University of Oxford, England (2000), and Licenciatura
em Matemática Pura by the Universidade do Porto (1995).
Research Interests
My research interests are on Ominimal Structures an area of Model Theory (Mathematical Logic) which is closely related to and is a generalization of SemiAlgebraic, RealAlgebraic and Sub Analytic Geometry.
Member of
CMAF (Centro de Matemática e Aplicações Fundamentais), Universidade de Lisboa.
Researcher of the
European Research and Training
Network MODNET (Model Theory) (Jan 2005Dec. 2008).
Researcher of the European Research and Training Network RAAG (Real Algebraic and Analytic Geometry) (Sep. 2002Sep. 2003)
Thesis
"Ominimal expansions of groups" DPhil. Thesis (2000), University of Oxford, England.
Books
(Preliminary versions of the books below are available at:
MODNET Preprint Server).
"Ominimal Structures, Proceedings of the RAAG Summer School Lisbon 2003",
Lecture Notes in Real Algebraic and Analytic Geometry
(M. Edmundo, D. Richardson and A. Wilkie eds.,) Cuvillier Verlag 2005.
Papers in international scientific periodicals with referees
(Preliminary versions of many of the papers below are available at:
MODNET Preprint Server).
"The six Grothendieck operations on ominimal sheaves" (with L. Prelli) C. R. Acad. Sci. Paris. (to appear).
"Coverings by open cells" (with P. Eleftheriou and L. Prelli) Arch. Math. Logic (to appear).
"The universal covering map in ominimal expansions of groups" (with P. Eleftheriou and L. Prelli) Topology Appl. 160 (13) (2013) 15301556.
"Discrete subgroups of locally definable groups" (with A. Berarducci and M. Mamino) Selecta Math. (New Series) 19 (3) (2013) 719736.
"A note on generic subsets of definable groups" (with G. Terzo) Fund. Math. 215 (1) (2011) 5365.
"v*algebras, independence algebras and logic" (with J. Araújo and S. Givant) Int. J. Algebra Comp. 21 (7) (2011) 12371257.
"Invariance results for definable extensions of groups" (with G. Jones and N. Peatfield) Arch. Math. Logic 50 (12) (2011) 1931.
"On the Euler characteristic of definable groups" Math. Logic Quart. 57 (1) (2011) 4446.
"Poincaré  Verdier duality in ominimal structures" (with L. Prelli) Ann. Inst. Fourier Grenoble 60 (4) (2010) 12591288.
"Definable group extensions in semibounded ominimal structures" (with P. Eleftheriou) Math. Logic Quart. 55 (6) (2009) 598604.
"The Lefschetz coincidence theorem in ominimal expansions of fields" (with A. Woerheide) Topology Appl. 156 (15) (2009) 24702484.
"On freely generated Esubrings" (with G. Terzo) J. Pure Appl. Algebra 213 (5) (2009) 690697.
"Ominimal Cech cohomology" (with N. Peatfield) Quart. J. Math. 59 (2) (2008) 213220.
"Comparison theorems for ominimal singular (co)homology" (with A.Woerheide). Trans. Amer. Math. Soc. 360 (9) (2008) 48894912.
"A fixed point theorem in ominimal structures" Ann. Inst. Fourier Grenoble 57 (5) (2007) 14411450.
"The universal covering homomorphism in ominimal expansions of groups" (with P. Eleftheriou) Math. Logic Quart. 53 (6) (2007) 571582.
"Integration of positive constructible functions against Euler characteristic and
dimension" (with R.Cluckers) J. Pure Appl. Algebra 208
(2) (2007) 691698.
"Corrigendum to: "Transfer methods for ominimal topology"" (with A. Berarducci and M. Otero) J. Symb. Logic 72 (3) (2007) 10791080.
"Sheaf cohomology in ominimal structures" (with G. Jones and N. Peatfield) J. Math. Logic
6 (2) (2006) 163179.
"Locally definable groups in ominimal structures" J. Algebra 301
(1) (2006) 194223. Corrigendum (with E. Baro) J. Algebra 320 (7) (2008) 30793080.
"A remark on divisibility of definable groups" Math. Logic Quart. 51
(6) (2005) 639641.
"Covers of groups definable in ominimal structures" Illinois J. Math.
49 (1) (2005) 99120. Erratum Illinois J. Math.
51 (3) (2007) 10371038.
"Definably compact abelian groups" (with M.Otero) J. Math. Logic
4 (2) (2004)
163180.
"Solvable groups definable in ominimal structures" J. Pure Appl. Algebra
185
(13) (2003) 103145.
"Structure theorems for ominimal expansions of groups" Ann. Pure Appl. Logic
102 (12) (2000) 159181.
Papers in conference proceedings
(Preliminary versions of many of the papers below are available at:
MODNET Preprint Server).
"What are ominimal sheaves" in Proceedings of the RIMS Symposium on New Developments of Independence in Model Theory, RIMS Kokyuroku, Kyoto Univ. 1718 (10) (2010) 92101.
"Covering definable manifolds by open definable subsets" in Logic
Colloquium '05, Lecture Notes in Logic 28 (2008) (ed., C. Dimitracopoulos et al.) Cambridge University Press.
"Ominimal (co)homology and applications" in Ominimal Structures, Proceedings of
the RAAG Summer School Lisbon 2003, Lecture Notes in Real Algebraic and Analytic Geometry
(M. Edmundo, D. Richardson and A. Wilkie eds.,) Cuvillier Verlag 2005.
"Invariance of ominimal singular (co)homology in elementary extensions" in Séminaire
de Structures Algébriques Ordonnées n. 76 (2004) (ed., F. Delon et al.)
Publication de la Université de Paris VII.
"On solvable groups and rings definable in ominimal structures" in Logic
Colloquium '99, Lecture Notes in Logic 17 (2004) (ed., J. van Eijck et al.)
A K Peters Ltd.
Preprints
(Many of the preprints below are available at:
MODNET Preprint Server).
"On definably proper maps" (with M. Mamino and L. Prelli). [pdf (date: 030414)]
"Invariance of ominimal cohomology with definably compact supports" (with L. Prelli). [pdf (date: 130314)]
"Ominimal sheaves and Ttopologies" (with L. Prelli).[pdf (date: 101012)]
"The six Grothendieck operations on ominimal sheaves" (with L. Prelli).[pdf (date: 031012)]
"Hurewicz theorem for definable groups, Lie groups and their cohomologies" (with G. Jones and N. Peatfield).
[pdf]
"A uniform bound for torsion points in ominimal expansions of groups" (with G. Jones and N. Peatfield).
[pdf]
"On Pillay's conjecture for orientable definable groups" (with G. Terzo).
[pdf]
Unpublished manuscripts
"Ominimal cohomology and definably compact definable groups". Available
at: RAAG Preprint Server.
Contact Data
Phone: (351) 217904700
Fax: (351) 217954288
Email:
edmundo_at_cii.fc.ul.pt
Address:
CMAF Universidade de Lisboa, Avenida Professor Gama Pinto 2, 1649003 LISBOA,
Portugal
Useful Links
Last update: March 13, 2014.
Back to the CMAF
homepage.

