Sumários
T_18
15 Novembro 2024, 12:00 • Mário Jorge Edmundo
Discussão e resolução de exercícios sobre ordinais.
T_17
13 Novembro 2024, 13:30 • Mário Jorge Edmundo
Discussão e resolução de exercícios sobre ordinais.
T_16
8 Novembro 2024, 12:00 • Mário Jorge Edmundo
Boas ordens, princípio de indução transfinita numa boa ordem, esquema/princípio de recursão transfinita num boa ordem; isomorfismo de boas ordens, função estritamente crescente é uma expansão; princípio do lapso; lema de Hartogs; lema de Zorn, o lema de Zorn é equivalente ao axioma da escolha; teorema da boa ordenação, o teorema da boa ordenação é equivalente ao axioma da escolha.