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.