Sumários
AT10 Adjunções
22 outubro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conceito de adjunção. Exemplos. Fórmulas relevantes para mostrar que teoria tem eliminação de quantificadores.
AT Cancelada
20 outubro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Aula a ser substituída mais tarde.
AT09 Categorias e functores
15 outubro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Conceito de functor. Exemplos.
AT08 Teorias
13 outubro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoria, teoria coerente, teoria exaustiva e teoria com eliminação de quantificadores. Conceito de categoria e exemplos.
AT07 Homomorfismos
8 outubro 2014, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Homomorfismo e embebimento entre estruturas de interpretação. Embebimento versus satisfação local. Preservação e reflexão da satisfação local para fórmulas sem quantificadores.