Forcing: posets, boolean algebras and sheaves (2024)
- Authors:
- Autor USP: SMYKALLA, MICHEL VIANA - IME
- Unidade: IME
- Sigla do Departamento: MAT
- DOI: 10.11606/D.45.2024.tde-27112024-151034
- Subjects: TEORIA DOS CONJUNTOS; TEORIA DAS CATEGORIAS
- Keywords: Boolean-valued models; Category theory; Forcing; Modelos a valores booleanos; Teoria das categorias; Teoria de topos; Topos theory
- Language: Inglês
- Abstract: O método de forcing foi primeiro introduzido por Paul J. Cohen, para provar a independência da hipótese do contínuo de George F. L. P. Cantor dos axiomas da Teoria dos Conjuntos de Zermelo-Fränkel. Neste trabalho, iremos apresentar três formas dessa mesma ténica: forcing via pré-ordens, forcing usando modelos a valores Booleanos e uma abordagem via Teoria de Feixes, no contexto da independência da Hipótese do Contínuo. Além disso, contribuições na direção de como relacionar tais versões de forcing fazem parte dessa dissertação
- Imprenta:
- Data da defesa: 09.10.2024
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
ABNT
SMYKALLA, Michel Viana. Forcing: posets, boolean algebras and sheaves. 2024. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/. Acesso em: 10 jan. 2026. -
APA
Smykalla, M. V. (2024). Forcing: posets, boolean algebras and sheaves (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/ -
NLM
Smykalla MV. Forcing: posets, boolean algebras and sheaves [Internet]. 2024 ;[citado 2026 jan. 10 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/ -
Vancouver
Smykalla MV. Forcing: posets, boolean algebras and sheaves [Internet]. 2024 ;[citado 2026 jan. 10 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/
Informações sobre o DOI: 10.11606/D.45.2024.tde-27112024-151034 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
