Sumários
TP8
11 Novembro 2022, 13:30 • Fernando Ferreira
O princípio dos cacifos. Um conjunto é infinito se, e somente se, o conjunto omega se injeta nele. O número de Hartogs dum conjunto infinito é um ordinal limite. O produto cartesiano de dois conjuntos numeráveis é numerável.
AULA 14
11 Novembro 2022, 12:00 • Fernando Ferreira
Teste em sala de aula.
AULA 13
9 Novembro 2022, 08:00 • Fernando Ferreira
O princípio do colapso. Consequências simples.
AULA 12
4 Novembro 2022, 12:00 • Fernando Ferreira
Demonstração, por recursão transfinito nos ordinais, da distributividade à direita da multiplicação em relação à adição. Menção de que se pode demonstrar, por recursão transfinita, a associatividade da multiplicação nos ordinais usando a associatividade. Observações, exemplos e contra-exemplos.