Lógica, Conjuntos e Topologia – IME/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.