Sumários

TP_12

20 Dezembro 2024, 13:30 Mário Jorge Edmundo

Discussão e resolução de exercícios.


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.


TP_11

13 Dezembro 2024, 13:30 Mário Jorge Edmundo

Discussão e resolução de exercícios.


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.