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.