Sumários
AULA 12
3 Novembro 2021, 08:00 • Fernando Ferreira
Duas boas ordens são isomorfas ou uma delas é isomorfa a um segmento inicial próprio da outra.
Conjuntos equipotentes.
O lema de Hartogs. O número de Hartogs dum conjunto.
Conjuntos finitos e princípio dos cacifos.
TP 11
25 Outubro 2021, 09:00 • Fernando Ferreira
Teste em sala de aula.
[A aula teve lugar das 8h às 9h30m.]
AULA 11
25 Outubro 2021, 08:00 • Fernando Ferreira
A demonstração da distributividade na aritmética ordinal. A função colapso duma boa ordem.
[A aula teve lugar das 9h30m às 10h30m.]