Origens do ponto genérico em geometria algébrica e na prática matemática
Cantor meets Robinson. Set theory, model theory and their philosohy
Ecumenismo Modal via RNmatrizes: Teoria, Implementação e Verificação
A nocao de profinito e suas aplicacoes em algebra, logica e geometria.
Operadores de atualidade resultantes de combinações de lógicas modais quantificadas