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 artigo possui versão em acesso aberto
- URL de acesso aberto
- PDF de acesso aberto
- Versão do Documento: Versão publicada (Published version)
-
Status: Artigo publicado em periódico de acesso aberto (Gold Open Access) -
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://teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/. Acesso em: 13 mar. 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://teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/ -
NLM
Smykalla MV. Forcing: posets, boolean algebras and sheaves [Internet]. 2024 ;[citado 2026 mar. 13 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/ -
Vancouver
Smykalla MV. Forcing: posets, boolean algebras and sheaves [Internet]. 2024 ;[citado 2026 mar. 13 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-27112024-151034/
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
