Sumários
T21_20
6 Maio 2019, 10:00 • Mário Jorge Edmundo
Axiomas da teoria Q de Robinson, nota sobre a inclusão da ordem; termos fechados e Q, variáveis limitadas por termos fechados; fórmulas Delta_0, Sigma_1 e Pi _1; Q decide correctamente proposições Delta _0; notas sobre completude e demonstração, completude e modelos; Q é Sigma _1 completo, Q não é completo, algumas extensões de Q, axiomas para a aritmética de Peano.
T21_19
3 Maio 2019, 10:30 • Mário Jorge Edmundo
Lema de Henkin; teorema de completude de Godel, teorema de compacidade (duas novas demonstrações), teorema de Lowenheim-Skolem (outra vez).
T21_18
29 Abril 2019, 10:00 • Mário Jorge Edmundo
DM é correto. Consistência, existência de conjuntos de proposições consistentes maximais, conjuntos de proposições com testemunhas, lema de Lindenbaum.