Sumários
Corpos reais fechados
9 dezembro 2008, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Adjunção entre a categoria dos modelos das fórmulas universais e a categoria dos copros ordenados.
Aritmética de Presburger
4 dezembro 2008, 16:00 • João Rasga
Exercícios relativos à existência de modelos algebricamente primos.
Corpos algebricamente fechados
3 dezembro 2008, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Corpos reais fechados. Caracterizações alternativas.
Corpos algebricamente fechados
2 dezembro 2008, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Demonstração que o morfismo universal é elementar em relação ao existe.
Aritmética de Presburger - eliminação de quantificadores: caracterização da apresentação
27 novembro 2008, 16:00 • João Rasga
Exercícios sobre eliminação de quantificadores na aritmética de Presburger: caracterização dos modelos das consequências universais.