Sumários
AULA 34
4 Dezembro 2020, 15:00 • Fernando Ferreira
O lema de Lindenbaum. O teorema da existência de modelo (método das constantes de Henkin). O teorema da completude de Gödel.
AULA 33
3 Dezembro 2020, 11:00 • Fernando Ferreira
Resolução de exercícios e esclarecimento de dúvidas.
AULA 32
27 Novembro 2020, 15:00 • Fernando Ferreira
A versão semântica do primeiro teorema da incompletude de Gödel.
AULA 30
24 Novembro 2020, 11:00 • Fernando Ferreira
A coincidência entre os conjuntos aritmeticamente definíveis e os conjuntos da hierarquia aritmética. O teorema da indefinibilidade da verdade de Tarski.