Sumários

Aritmética de Presburger: completude

18 Dezembro 2008, 16:00 João Filipe Quintas dos Santos Rasga

Exercícios sobre relacionamento de estruturas e aritmética de Presburger.


Conclusão da aula anterior

17 Dezembro 2008, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Comentários sobre o exame final.


Apresentação fechada para modelos

16 Dezembro 2008, 15:30 Maria Cristina De Sales Viana Serôdio Sernadas

Apresentação fechada para modelos. Relacionamento com eliminação de quantificadores. Condição suficiente para que uma apresentação fechada para modelos seja completa.


Aritmética de Presburger: existencia de embedding existencialmente elementar

11 Dezembro 2008, 16:00 João Filipe Quintas dos Santos Rasga

Exercícios sobre a existencia de embedding existencialmente elementar.


Corpos reais fechados

10 Dezembro 2008, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Adjunção entre as categorias dos corpos ordenados e dos corpos reais fechados.