Sumários
AT14 Teorias com Modelos Algebricamente Primos Revisitadas (aula online)
17 dezembro 2020, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Requisitos das teorias: aplicação E e embebimentos, classe \forall^2 de fórmulas, propriedade universal e incremento da satisfação local por E. Definição do diagrama orientado e do seu limite. Uma teoria que satisfaz os requisitos tem modelos algebricamente primos. O exemplo da teoria do sucessor.
TP11 (aula online)
15 dezembro 2020, 13:00 • João Rasga
Exercícios sobre categoricidade e combinação de teorias.
AT13 Caracterização da Eliminação de Quantificadores (aula online)
10 dezembro 2020, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Resultado de caracterização da eliminação de quantificadores para uma fórmula no contexto de uma assinatura que tem pelo menos um símbolo de função.
AT12 Teorias Categóricas (aula online)
3 dezembro 2020, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas