Sumários
TP 14
8 Novembro 2017, 09:00 • Bruno Dinis
Resolução de exercícios sobre a axiomática de Zermelo (exercícios 54, 55, 56, 57 e 58).
AULA 14
8 Novembro 2017, 08:00 • Fernando Ferreira
O paradoxo de Russell. Os axiomas de Zermelo: extensionalidade, separação, par, união, partes e infinito. Definição da estrutura de Dedekind-Peano dos ordinais finitos.
TP 13
3 Novembro 2017, 11:30 • Bruno Dinis
Resolução dos exercícios 46, 47, 48 e 50. Demonstração das Proposições 41 e 42, sobre operações cardinais infinitárias.
AULA 13
3 Novembro 2017, 10:30 • Fernando Ferreira
Igualdades e desigualdades cardinais básicas. Algumas consequências. Notas sobre o uso do axioma da escolha na lei da absorção e na lei da comparabilidade de cardinalidades.