Sumários
AULA 19.
29 Outubro 2020, 11:00 • Fernando Ferreira
Resolução do teste. Resolução de exercícios e esclarecimento de dúvidas.
AULA 18
27 Outubro 2020, 11:00 • Fernando Ferreira
Demonstração do teorema de L owenheim-Skolem descendente.
Teorias completas. O teste de Los-Vaught. A teoria das ordem lineares densas sem extremos é \aleph_0 categórica e, portanto, completa.
AULA 15
20 Outubro 2020, 11:00 • Fernando Ferreira
Demonstração do teorema da compacidade para o cálculo de predicados. Igualdade (a sua teoria é universal). Estruturas normais. Introdução aos teorema de Löwenheim-Skolem.