| Esta página já não está a ser atualizada. This page is no longer being updated. . | 
| 
 | 
|  | 
| Departamento de
  Matemática  - Faculdade de Ciências e
  Tecnologia - Universidade de Coimbra  | 
| Gabinete/Office: 2.4 
   | 
| 
 | 
|  | 
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, 
·       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, 
 
 
 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, 
 
                                                      
|  |