Sumários

Prática 13

17 Dezembro 2019, 13:00 João Rasga

Conclusão do exercício sobre completude da teoria dos grafos extensionais.


AT14 Conjuntos Finitamente Satisfazíveis

12 Dezembro 2019, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Preservação da propriedade de finitamente satisfazível pela união. Existência de extensão finitamente satisfazível e completa para qualquer
conjunto finitamente satisfazível. Conjunto com a propriedade da testemunha existencial. Estrutura de interpretação induzida por conjunto
finitamente satisfazível, completo e com a propriedade da testemunha. Relacionamente entre a satisfação local para essa estrutura e a derivação a
partir do conjunto inicial.


Prática 12

10 Dezembro 2019, 13:00 João Rasga

Exercício sobre a teoria do sucessor ter embebimentos exists-elementares e sobre a categoricidade da teoria dos grafos extensionais.


AT13 Categoricidade

5 Dezembro 2019, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Teorias finitamente satisfazíveis. Teorias com modelos infinitos. Teorema de Vaught. Teoria das ordens discretas.


Prática 11

3 Dezembro 2019, 13:00 João Rasga

Conclusão do exercicio sobre modelos algebricamente primos e teoria de Presburger .