Sumários

Corpos reais fechados

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

Conclusão da demonstração de que a teoria dos corpos reais fechados tem eliminação de quantificadores.


Corpos reais fechados

14 Dezembro 2009, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Continuação da demonstração de que a teoria dos corpos reais fechados tem eliminação de quantificadores.


Teoria dos corpos reais fechados

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

Exercícios sobre a teoria dos corpos reais fechados.


Corpos reais fechados

9 Dezembro 2009, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Assinatura e teoria dos corpos ordenados reais fechados. Início da demonstração de que esta teoria tem eliminação de quantificadores.


Teste de Vaught

7 Dezembro 2009, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Demonstração dos lemas necessários ao Teorema de Vaught.