Sumários
Teste de Vaught
22 outubro 2008, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Apresentação com a propriedade das testemunhas. Resultados e lemas auxiliares.
Categoricidade
21 outubro 2008, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Relacionamentos entre estruturas de interpretação. Isomorfismos. Apresentação finitamente satisfazível. Apresentação k-categórica.
Estruturas de ordem
16 outubro 2008, 16:00 • João Rasga
Exercícios sobre estruturas de ordem. Avaliação.
Ordinais
15 outubro 2008, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Resultados fundamentais sobre ordinais.
Ordens parciais estritas
14 outubro 2008, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Ordinais.