Sumários

Aula #16

18 maio 2022, 12:30 Carlos Caleiro

Teorias de primeira ordem com igualdade, existência de modelos normais. Exercícios.


Aula #15

12 maio 2022, 17:00 Carlos Caleiro

Exercícios sobre existência e cardinalidade de modelos, compacidade.


Aula #14

11 maio 2022, 12:30 Carlos Caleiro

Construção de Henkin (continuação), lema de Lindenbaum revisitado, modelo de Henkin, lema fundamental. Completude do cálculo de Hilbert para a lógica clássica de primeira ordem.


Aula #13

20 abril 2022, 12:30 Carlos Caleiro

Construção de Henkin, extensão de conjuntos coerentes com testemunhas constantes para fórmulas existenciais. Realização do segundo MAP.


Aula #12

18 abril 2022, 17:00 Carlos Caleiro

Exercícios. Conjuntos coerentes maximais e exaustivos para fórmulas fechadas. Adição de constantes, preservação de coerência. Enumeração da linguagem de primeira ordem.