Sumários
AULA 21
15 Dezembro 2021, 08:00 • Fernando Ferreira
O princípio da indução epsilon. O teorema do universo cumulativo.
Os números reais como cortes de Dedekind: descrição genérica.
AULA 20
13 Dezembro 2021, 08:00 • Fernando Ferreira
Demonstração do teorema da cardinalidade de König.
O universo cumulativo. Enunciado do teorema do universo cumulativo. Definição de cota dum conjunto. Observações.
TP 19
6 Dezembro 2021, 09:00 • Fernando Ferreira
Entrega de testes.
Resolução de exercícios. Discussões.