Uma análise lógica da noção de consistência na prática da Teoria dos Conjuntos
Fundamentos axiomáticos para o forcing de classes e extensões simétricas.
Arbitrariedade e genericidade: ou sobre como falar do indizível
Ioannis Kourakis | Queen's University Belfast - Irlanda do Norte
Além da transitividade para operadores lineares em dimensão infinita