Sumários

AT06 Embebimentos

24 outubro 2017, 15:00 Maria Cristina De Sales Viana Serôdio Sernadas

Preservação e reflexão da satisfação local de fórmulas sem quantificadores por embebimento. Categoria de modelos de teoria e de consequências
de teoria que são fechos universais de fórmulas sem quantificadores.


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

19 outubro 2017, 16:00 João Rasga

Realização de exercícios sobre eliminação de quantificadores por via simbólica.


AT05 Eliminação de quantificadores e embebimentos

17 outubro 2017, 15:00 Maria Cristina De Sales Viana Serôdio Sernadas

Teoria das ordens densas sem limite inferior nem limite superior. Demonstração de que tem eliminação de quantificadores.
Embebimento entre estruturas de interpretação sobre a mesma assinatura. Não preservação e não reflexão da satisfação local
em presença de embebimento.


Exercícios sobre construção de modelo que falsifica sequente não derivável.

12 outubro 2017, 16:00 João Rasga

Resolução de exercícios sobre construção de modelo que falsifica sequente não derivável.


AT04 Teorias

10 outubro 2017, 15:00 Maria Cristina De Sales Viana Serôdio Sernadas

Noção de teoria. Axiomatização de teoria. Exemplo da teoria dos corpos algebricamente fechados. Modelo de teoria. Teoria coerente e teoria completa. Teoria com eliminação de quantificadores. Condições suficientes para que teoria tenha eliminação de quantificadores.