Sumários
Aritmética de Presburger: completude
18 dezembro 2008, 16:00 • João 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 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.