Sumários

AULA 18

25 Novembro 2022, 12:00 • Fernando Ferreira

Aritmética cardinal. Enunciado, sem demonstração, de que se k é um cardinal infinito então k=kk.

AULA 17

23 Novembro 2022, 08:00 • Fernando Ferreira

Definição de cardinalidade de um conjunto. Algumas propriedades básicas e o teorema de Cantor-Bernstein. Todo o cardinal infinito é um álefe.

TP 9

18 Novembro 2022, 13:30 • Fernando Ferreira

Discussão de exercícios.

AULA 16

18 Novembro 2022, 12:00 • Fernando Ferreira

Demonstração de que todo o conjunto pode ser bem ordenado.

Números cardinais. Álefes.

AULA 15

16 Novembro 2022, 08:00 • Fernando Ferreira

O teorema de Cantor.

O teorema do ponto fixo de Zermelo. O princípio da maximalidade de Hausdorff. O lema de Zorn. O princípio da boa ordenação (ainda sem demonstração). Comparabilidade de cardinalidades.