Introduzir a técnica de forcing para construção de modelos e provas de consistência em teoria dos conjuntos com aplicações em combinatória infinita e topologia geral.
- Docente: Vinicius de Oliveira Rodrigues
Introduzir a técnica de forcing para construção de modelos e provas de consistência em teoria dos conjuntos com aplicações em combinatória infinita e topologia geral.