Gonçalo Gutierres da Conceição

 


 

Departamento de Matemática  - Faculdade de Ciências e Tecnologia - Universidade de Coimbra
3001-454 Coimbra Portugal

Gabinete/Office: 2.4 
Correio electrónico/Email: ggutc@mat.uc.pt

 


Ensino/Teaching

 

Investigação/Research

 

Artigos/Papers

·         The Ultrafilter Closure in ZF, Mathematical Logic Quarterly – accepted for publication (preprint)

·         Sequential convergence via Galois connections (with Dirk Hofmann), Acta Mathematica Hungarica 123, 187–202 (2009) (pdf)

·         On countable choice and sequential spaces, Mathematical Logic Quarterly 54, 145–152 (2008) (preprint)

·         Axioms for sequential convergence (with Dirk Hofmann), Applied Categorical Structures 199, 599–614 (2007) (preprint)

·         What is a first countable space?, Topology and its Applications 153, 3420–3429 (2006) MD10-12/06 MD4-6/06 (pdf)

·         On first and second countable spaces and the axiom of choice, Topology and its Applications 143, 93–103 (2004) MD7-9/04 (pdf)

·         Sequential topological conditions in R in the absence of the axiom of choice, Mathematical Logic Quarterly 49, 293–298 (2003) (preprint)

 

Teses/Thesis

·         Conexidade em Categorias, Dissertação de Mestrado, Universidade de Coimbra, 1998

·         O Axioma da Escolha Numerável em Topologia/The Axiom of Countable Choice in Topology (unofficial short version without proofs), PhD, Universidade de Coimbra, 2004

 

Slides of the most recent talks

·         On (co)normal closure operators, 24th Summer Conference on Topology and its Applications, Brno, Czech Republic, July, 2009

·         Totally bounded metric spaces and the Axiom of Choice, VII Iberoamerican Conference on Topology and its Applications, Valência, Spain, June, 2008

·         Ultrafilters, closure operators and the Axiom of Choice, UltraMath 2008 - Applications of Ultrafilters and Ultraproducts in Mathematics, Pisa, Italy, June 2008

·         Sequential approach spaces, Categorical Methods in Algebra, Topology and Computer Science, Coimbra, October 2007

 

 

 Conferences

·         CSL09 - 18th EACSL Annual Conference on Computer Science Logic, September 2009

·         CT07 - International Conference on Category Theory, June 2007

·         Days in Logic '06, January 2006

·         IV Iberoamerican Conference on Topology and its Applications, April 2001

·         CT99 - International Conference on Category Theory, July 1999

 

 Olimpíadas Matemáticas

·         OPM - Olimpíadas Portuguesas de Matemática

·         delfos - Escola de Matemática para jovens

·         XXII Olimpíadas Ibero-Americanas de Matemática, 2007, Coimbra

·         IMO 2008 - 49th International Mathematical Olympiad, Madrid, Spain