Sumários

AT09 Condição suficiente para que teoria tenha eliminação de quantificadores

14 Novembro 2017, 15:00 Maria Cristina De Sales Viana Serôdio Sernadas

Diagrama e diagrama simples de estrutura de interpretação. Existência de embebimento entre duas estruturas de interpretação em que uma
delas satisfaça o diagrama simples da outra. Condição necessária e suficiente para que no âmbito de uma teoria seja possível garantir a existência
de fórmula sem quantificadores equivalente a uma fórmula dada.


AT08 Condição suficiente para que teoria tenha eliminação de quantificadores

7 Novembro 2017, 15:00 Maria Cristina De Sales Viana Serôdio Sernadas

Diagrama e diagrama simples de estrutura de interpretação. Demonstração sobre a existência de embebimento entre duas estruturas de interpretação em
uma delas satisfaz o diagrama simples da outra. Condição necessária e suficiente para que seja possível, no contexto de uma teoria, obter fórmula sem
quantificadores equivalente a fórmula dada.


Exercícios sobre eliminação de quantificadores por via semântica

2 Novembro 2017, 16:00 João Filipe Quintas dos Santos Rasga

Realização de exercícios 


AT07 Adjunção e teorias completas para modelos

31 Outubro 2017, 15:00 Maria Cristina De Sales Viana Serôdio Sernadas

Adjunção. Exemplo da categoria das quasi-ordens e das ordens parciais. Teoria completa para modelos. Demonstração de que uma teroria em que todos os modelos
satifazem as mesmas fórmulas fechadas é completa. Condição suficiente para que teoria seja completa: existência de modelo inicial e que seja completa para modelos.


Exercícios sobre eliminação de quantificadores por via simbolica

26 Outubro 2017, 16:00 João Filipe Quintas dos Santos Rasga

Realização de exercícios sobre eliminação de quantificadores por via simbolica: corpos algebricamente fechados.