Sumários
AT24 Teste de Vaught
17 dezembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Ilustração do teste para as teorias do sucessor e das ordens densas sem limites.
AT23 Teste de Vaught
15 dezembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior.
AT22 Teste de Vaught
10 dezembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Estrutura induzida por teoria finitamente satisfazível e com a propriedade da testemunha.
AT21 Teorias finitamente satisfazíveis
3 dezembro 2014, 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 satisfazível.
AT20 Exemplos de teorias decidíveis
1 dezembro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Noções e resultados sobre ordens parciais estritas.