Sumários
T_18
7 Novembro 2025, 11:00 • Mário Jorge Edmundo
Mesma cardinalidade, propriedades; teorema de Cantor; cardinalidade menor ou igual, propriedades; teorema de Cantor-Bernstein; caracterização com função sobrejectiva.
T_17
5 Novembro 2025, 13:30 • Mário Jorge Edmundo
Boas ordens; princípio de indução transfinita numa boa ordem; princípio de indução transfinita numa boa ordem; isomorfismos de boas ordens, função estritamente crescente numa boa ordem é uma expansão; princípio do colapso; lema de Hartogs; lema de Zorn, lema de Zorn é equivalente ao axioma da escolha; teorema da boa ordenação, teorema da boa ordenação é equivalente ao axioma da escolha;
T_16
31 Outubro 2025, 11:00 • Mário Jorge Edmundo
Operações; princípio de recursão transfinita nos ordinais; soma de ordinais, produto de ordinais, exponenciação de ordinais, exemplos, propriedades.