Lógica, Conjuntos e Topologia - IM/UFBA
Realiza pesquisas em diversos tópicos relacionados à Lógica Matemática, Álgebra, Teoria dos Conjuntos e Topologia Geral, com ênfase no interesse pela interação entre essas áreas.
Destacam-se entre esses tópicos:
- Lógicas clássicas e não-clássicas;
- Contrapartidas algébricas e topológicas de diferentes lógicas (álgebras de Boole e de Heyting, dualidades do tipo de Stone, etc.);
- Álgebra Universal;
- Reticulados e ordens parciais;
- Teoria dos Conjuntos (combinatória infinitária, pequenos cardinais, grandes cardinais);
- Lógica intuicionista e teoria dos modelos intuicionista.