Sumários
T_28
20 Dezembro 2024, 12:00 • Mário Jorge Edmundo
Discussão e resolução de exercícios outros exercícios.
T_27
18 Dezembro 2024, 13:30 • Mário Jorge Edmundo
Discussão e resolução de exercícios sobre cardinais.
T_26
13 Dezembro 2024, 12:00 • Mário Jorge Edmundo
Tópicos complementares: fecho transitivo, esquema da regularidade, esquema da epsilon-indução, universo cumulativo, teorema do universo cumulativo, os beths, cofinalidade, teorema de Konig, fórmula de Hausdorff.