A hipótese de Suslin, o princípio diamante e o axioma do forcing próprio
Arbitrariedade e genericidade: ou sobre como falar do indizível
Consistência e independência em combinatória definível dos grafos
Uma análise lógica da noção de consistência na prática da Teoria dos Conjuntos
Os limites matemáticos do axioma da escolha e do axioma da determinação