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.
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.