Sumários

AULA 13

29 Março 2017, 11:30 • Fernando Ferreira

Funções recursivas primitivas. A classe das relações primitivas recursivas é feachada para as combinações Booleanas e para a quantificação limitada.

AULA 12

23 Março 2017, 09:30 • Fernando Ferreira

Teorias completas. O teste de Lós-Vaught.

A teoria das ordens lineares densas sem extremos é completa. O argumento de vai-vem de Cantor para mostrar que duas ordens lineares densas sem extremos numeráveis são isomorfas.

Brevíssima discussão sobre a secção do "Nullstellensatz" (que não vai ser dada). O princípo de transferência de Lefschetz.

AULA 11

22 Março 2017, 11:30 • Fernando Ferreira

Diagrama e diagrama elementar duma estrutura. Teoremas de Löwenheim-Skolem descendente e ascendente.

AULA 10

16 Março 2017, 09:30 • Fernando Ferreira

Os teoremas de Löwenheim-Skolem. Subestruturas elementares. Estruturas elementarmente equivalentes.

AULA 9

15 Março 2017, 11:30 • Fernando Ferreira

A interpretação do não-contraexemplo de Kreisel.

Cálculo de predicados com igualdade. Quasi-tautologias. Estruturas normais.