Detalhes bibliográficos
| Ano de defesa: |
2024 |
| Autor(a) principal: |
Smykalla, Michel Viana |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
eng |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://www.teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/
|
Resumo: |
The forcing method was first introduced by Paul J. Cohen to prove the independence of the Continuum Hypothesis of George F. L. P. Cantor from the axioms of the Zermelo-Fränkel Set Theory. In this work, we present three forms of this technique: Forcing through partial orders, forcing using Boolean-valued models, and a sheaf-theoretic approach. Moreover, contributions towards how to relate these versions of forcing are part of this MSc thesis. |
