Os limites matemáticos do axioma da escolha e do axioma da determinação
A hipótese de Suslin, o princípio diamante e o axioma do forcing próprio
Fundamentos axiomáticos para o forcing de classes e extensões simétricas.
Arbitrariedade e genericidade: ou sobre como falar do indizível