AULA 11
26 Outubro 2018, 10:30 • Fernando Ferreira
A classe dos ordinais não é um conjunto (Burali-Forti). Demonstrações por indução transfinite nos ordinais. Definições por recursão transfinite nos ordinais. A definição da hierarquia cumulativa.
26 Outubro 2018, 10:30 • Fernando Ferreira
A classe dos ordinais não é um conjunto (Burali-Forti). Demonstrações por indução transfinite nos ordinais. Definições por recursão transfinite nos ordinais. A definição da hierarquia cumulativa.