Sumários

TP 13

16 Dezembro 2022, 13:30 • Fernando Ferreira

Discussão de exercícios.

AULA 23

16 Dezembro 2022, 12:00 • Fernando Ferreira

Discussão (sem grandes detalhes) sobre os números reais. Os reais são, a menos de isomorfismo, o único corpo ordenado completo: Aqui, "completo" significa que satisfaz o princípio do supremo (todo o subconjunto não vazio e majorado tem supremo). Esboço da construção dos reais através de cortes de Dedekind, enfatizando o facto de que a satisfação do princípio do supremo é, nesta construção, muito fácil de verificar.

AULA 22

14 Dezembro 2022, 08:00 • Fernando Ferreira

Fecho transitivo dum conjunto. Princípio de \epsilon-indução. O universo cumulativo.

Resolução do primeiro exercício do terceiro teste.

TP 12

9 Dezembro 2022, 13:30 • Fernando Ferreira

Discussão de exercícios.

AULA 21

9 Dezembro 2022, 12:00 • Fernando Ferreira

Teste em sala de aula.

Demonstração do teorema da cardinalidade de König. Introdução ao universo cumulativo.