Conexidade em Categorias, Master Thesis, Universidade de Coimbra, 1998

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

The Axiom of Countable Choice in Topology,  PhD (unofficial short version without proofs)