Palestra - Sobre o caráter definicional dos axiomas de ZFC

O Grupo de Estudos de Lógica da FAFICH convida para a palestra do professor Antonio Coelho (UFMG): 

Sobre o caráter definicional dos axiomas de ZFC

Dia 22 de maio, quarta-feira, às 16h na sala 3036.

ZFC é, em certo sentido, a teoria de conjuntos padrão. O estudo das consequências de seus axiomas e o estudo de seus modelos, isto é, de
estruturas que satisfazem esses axiomas, são tópicos relacionados, mas distintos. Uma visão definicional dos axiomas de ZFC conduz, naturalmente, a
uma ênfase no estudo dos modelos de ZFC. O objetivo desta exposição é explicar, segundo linhas propostas por Kenneth Kunen, alguns aspectos dessa
visão definicional.