Sumários
TP 26
20 Dezembro 2019, 11:30 • Bruno Dinis
Extensões da teoria de conjuntos: Conjuntos externos e internos. Neutrizes e números externos.
T27
20 Dezembro 2019, 10:30 • Mário Jorge Edmundo
Conclusão da demonstração do paradoxo de Banach-Tarski.
TP 25
18 Dezembro 2019, 09:00 • Bruno Dinis
Extensões da teoria de conjuntos: A axiomática IST de Nelson.
T26
18 Dezembro 2019, 08:00 • Mário Jorge Edmundo
Um modelo (natural) de ZFC sem o axioma da substituição (conclusão), cardinais inacessíveis e um modelo natural para ZFC. Inicio da demonstração do paradoxo de Banach-Tarski.