Conexidade em Categorias, Tese de Mestrado, Universidade de Coimbra, 1998

O Axioma da Escolha Numerável em Topologia, Tese de Doutoramento, Universidade de Coimbra, 2004

The Axiom of Countable Choice in Topology,  PhD (versão oficiosa sem demonstrações)