Sumários

14 Outubro 2020, 08:00 • Fernando Ferreira

Princípio da indução transfinita numa boa-ordem.

12 Outubro 2020, 09:00 • Fernando Ferreira

Resolução de exercícios e esclarecimento de dúvidas.

12 Outubro 2020, 08:00 • Fernando Ferreira

Caracterização dos segmentos iniciais próprios duma boa ordem.

7 Outubro 2020, 09:00 • Fernando Ferreira

Discussão de exemplos de boas-ordens.

7 Outubro 2020, 08:00 • Fernando Ferreira

O axiom da fundação. O axioma da escolha. As teorias ZFC, Z, ZF e ZC.