Sumários
AT28 Teste de Vaught
18 dezembro 2013, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teste de Vaught para mostrar que teoria é exaustiva.
AT27 Teorias finitamente satisfazíveis
16 dezembro 2013, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoria com a propriedade da testemunha para fórmulas existenciais. Relacionamento entre teorias finitamente satisfazíveis e satisfazíveis.
AT26 Teorias finitamente satisfazíveis
11 dezembro 2013, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoria finitamente satisfazível. Existência de extensão finitamente satisfazível e exaustiva de teoria finitamente satisfazível.
AT25 Ordinais
9 dezembro 2013, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Ordinais e suas propriedades.
AT24 Ordens parciais estritas
4 dezembro 2013, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Ordem parcial estrita. Prpriedades. Boas ordens.