UFBA » Instituto de Matemática »

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.