Sumários

TP 24

20 Dezembro 2017, 09:00 • Bruno Dinis

Resolução de exercícios de revisão.

AULA 24

20 Dezembro 2017, 08:00 • Fernando Ferreira

O universo cumulativo.

TP 23

15 Dezembro 2017, 11:30 • Bruno Dinis

Resolução dos exercícios 100 e 101. Propriedades básicas da hierarquia de Von Neumann (Proposição 73 e Corolário 20).

AULA 23

15 Dezembro 2017, 10:30 • Fernando Ferreira

Os cardinais são (por definição) ordinais que não são equipotentes a nenhum ordinal inferior. Os aléfes. Todo o cardinal infinito é um aléfe. Todo o conjunto tem um cardinal (axioma da escolha).

Aritmética cardinal. A lei da absorção.

TP 22

13 Dezembro 2017, 09:00 • Bruno Dinis

Resolução dos exercícios 88, 89, 94, 95 e 96. Demonstração de que a união de um conjunto de cardinais é um cardinal (Lema 19) e de que todo o cardinal infinito é um aleph (Proposição 71).