Sumários
AULA 7
11 Outubro 2021, 08:00 • Fernando Ferreira
Indução e recursão transfinita. Ordinais de von Neumann.
AULA 6
6 Outubro 2021, 08:00 • Fernando Ferreira
Boas ordens. Elemento mínimo, elementos sucessor e elementos limite. Caracterização dos segmentos iniciais próprios de boas ordens.