Sumários

AULA 10

20 Outubro 2021, 08:00 Fernando Ferreira

Aritmética ordinal: soma, produto, exponenciação. A operação de soma é associativa.


TP 9

18 Outubro 2021, 09:00 Fernando Ferreira

Resolução de exercícios. Discussões.


AULA 9

18 Outubro 2021, 08:00 Fernando Ferreira

O supremo dum conjunto de ordinais existe e é a união do conjunto. 

Princípio de indução transfinita nos ordinais. Princípio de recursão transfinita nos ordinais. 
Soma e produto ordinal. (Nota-se que estas operações não são comutativas.)


TP 8

13 Outubro 2021, 09:00 Fernando Ferreira

Resolução de exercícios. Discussões.


AULA 8

13 Outubro 2021, 08:00 Fernando Ferreira

Um ordinal munido da relação de pertença é uma boa ordem. Propriedades básicas dos números ordinais. O ordinal zero. Ordinais sucessores e ordinais limite. A classe própria de todos os ordinais: o paradoxo de Burali-Forti.