Sumários
AULA 17
17 Novembro 2017, 10:30 • Fernando Ferreira
O princípio da indução transfinita (numa boa ordem). O princípio da recursão transfinita (ainda sem demonstração).
TP 16
15 Novembro 2017, 09:00 • Bruno Dinis
Resolução dos exercícios 65 e 66. Alguns exemplos de boas ordens. Demonstração de que a ordem de Gödel no produto é uma boa-ordem (Proposição 49).
TP 15
10 Novembro 2017, 11:30 • Bruno Dinis
Resolução de exercícios sobre ZFC (exercícios 59, 60, 61, 62, 63 e 64).
AULA 15
10 Novembro 2017, 10:30 • Fernando Ferreira
Os axiomas da substituição, da fundação e da escolha.