Sumários
TP 24
13 Dezembro 2019, 11:30 • Bruno Dinis
Extensões de ZFC: Esboço da construção de um modelo não-standard utilizando uma medida. A axiomática ENA de Edward Nelson.
T25
13 Dezembro 2019, 10:30 • Mário Jorge Edmundo
A hierarquia cumulativa, propriedades, o universo cumulativo. Algumas observações sobre modelos naturais: um modelo de ZFC sem o axioma da substituição.
TP 23
11 Dezembro 2019, 09:00 • Bruno Dinis
Fórmula de Hausdorff. O universo cumulativo de Von Neumann. Resolução dos exercícios 96, 97, 98, 99, 100 e 101.
T24
11 Dezembro 2019, 08:00 • Mário Jorge Edmundo
Princípio de recursão nos naturais mais geral (com operações bem-determinadas). Exemplos. O fecho transitivo de um conjunto. Uma classe não vazia tem elemento minimal para a pertença. Princípio da \epsilon-indução.
TP 22
6 Dezembro 2019, 11:30 • Bruno Dinis
Operações cardinais infinitárias. Resolução dos exercícios 50, 51, 52 e 53.