Sumários
AULA 6
6 Outubro 2023, 12:00 • Fernando Ferreira
Factos sobre boas ordens. A boa ordem de Gödel. Segmentos iniciais. Nenhuma boa ordem é isomorfa a um seu segmento inicial próprio.
AULA 5
4 Outubro 2023, 08:00 • Fernando Ferreira
O axioma da escolha.
A noção de boa ordem. Discussão.
AULA 4
29 Setembro 2023, 12:00 • Fernando Ferreira
Resultados sobre o conjunto \omega.
O axioma da substituição. O axioma da fundação.