Programação
Dia 1
30/01/2023
30/01/2023
14h30 - 15h
Abertura da Semana Temática de Lógica, Topologia e Teoria de Conjuntos
Abertura da Semana Temática de Lógica, Topologia e Teoria de Conjuntos
Marco Cerami e Darllan Conceição Pinto
15h - 16h
Um convite à teoria dos conjuntos
Um convite à teoria dos conjuntos
Charles Morgan, UCL
16h - 17h
O jogo de Banach-Mazur
O jogo de Banach-Mazur
Marcelo Dias, IME-UFBA
17h - 18h
Uma construção algébrica de uma Teoria de Conjuntos baseada nos números surreais
Uma construção algébrica de uma Teoria de Conjuntos baseada nos números surreais
Dimi Rangel
Dia 2
31/01/2023
31/01/2023
15h - 16h
A Lógica Intuicionista de Brower-Heyting e seus modelos
A Lógica Intuicionista de Brower-Heyting e seus modelos
Andreas B. M. Brunner, IME-UFBA
16h - 17h
Relações de independência e feixes de modelos
Relações de independência e feixes de modelos
Charles Morgan, UCL
17h - 18h
Semântica Topológica para Lógicas Modais
Semântica Topológica para Lógicas Modais
Marlo Souza, IC-UFBA
Dia 3
01/02/2023
01/02/2023
15h - 16h
Hierarquia de Leibniz: novas classes de lógicas e a busca por uma formalização
Hierarquia de Leibniz: novas classes de lógicas e a busca por uma formalização
Ugo Coutinho, IME-UFBA
16h - 17h
Sobre a Liberdade I
Sobre a Liberdade I
Henrique Antunes, FFCH-UFBA
17h - 18h
Sobre a Liberdade II
Sobre a Liberdade II
Henrique Antunes, FFCH-UFBA