Sumários
TP 11
26 Outubro 2018, 11:30 • Fernando Ferreira
Entrega e discussão dos trabalhos para casa. Novos trabalhos para casa. A definição de soma e produto ordinal. Exemplos.
AULA 11
26 Outubro 2018, 10:30 • Fernando Ferreira
A classe dos ordinais não é um conjunto (Burali-Forti). Demonstrações por indução transfinite nos ordinais. Definições por recursão transfinite nos ordinais. A definição da hierarquia cumulativa.
AULA 10
24 Outubro 2018, 08:00 • Fernando Ferreira
A relação de pertença entre ordinais é a relação de estar contido estritamente. Dados dois ordinais diferentes, um deles pertence a (é menor do que) o outro.
TP 9
19 Outubro 2018, 11:30 • Fernando Ferreira
Enunciado dum exercício: a concatenação de duas boas-ordens é uma boa-ordem. Ainda o exercício 2.8(1): nota sobre o uso do axioma da escolha.