Sumários

Eliminação de quantificadores

11 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da demonstração do teorema da aula anterior.

Eliminação de quantificadores

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

Condição necessária e suficiente para que uma teoria tenha eliminação de quantificadores. Início da demonstração.

Eliminação de quantificadores

5 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre pequenas demonstrações relevantes para a demonstração que a teoria dos corpos algebricamente fechados tem eliminação de quantificadores.

Eliminação de quantificadores

4 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

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

Teste 1

2 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Realizou-se o primeiro teste.