Aula 3 Avançada MSNP
21 Outubro 2020, 11:00 • Isabel Maria André Ferreirim
Esboço das demonstrações
Ax. Escolha => Lema de Zorn
e
Comparabilidade de cardinais => Ax. boa ordenação.
[Ana Monteiro, Beatriz Carmo, Francisco Fialho, Guilherme Velez, Pedro Serrano, Tiago Veríssimo]