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,
|