Sumários
AULA 14
7 Novembro 2018, 08:00 • Fernando Ferreira
Todo o conjunto pode ser bem ordenado.
Definição de número cardinal.
AULA 13
2 Novembro 2018, 10:30 • Fernando Ferreira
O colapso dum subconjunto dum ordinal (com a ordem induzida).
Aritmética ordinal. Propriedades básicas.
TP 12
31 Outubro 2018, 09:00 • Fernando Ferreira
Enunciados de novos exercícios: 3.2, 3.3, 3.4(1) e 3.6(1)(2)(3)(4).
Resolução de 2.10 (finalização) e 2.11.
AULA 12
31 Outubro 2018, 08:00 • Fernando Ferreira
O universo cumulativo. Menção de que o universo cumulativo esgota todo o universo.
O colapso de Mostowski duma boa-ordem. O tipo duma boa-ordem.