Fundamentos do forcing (2022)
- Authors:
- Autor USP: SCHOUERI, PEDRO GALVÃO - IME
- Unidade: IME
- Sigla do Departamento: MAT
- DOI: 10.11606/D.45.2022.tde-08062022-150446
- Assunto: METALINGUAGEM
- Keywords: Absoluteness; Absolutividade; Consistência relativa; Forcing; Language; Reflection theorems; Relative consistency; Teoremas de reflexão
- Language: Português
- Abstract: Neste trabalho vamos apresentar a técnica de forcing, mostrando a consistência relativa entre ZF C e ZF C ` CH. O foco principal da dissertação é a fundamentação lógica da técnica e das ferramentas utilizadas, como o conceito de absolutividade e teoremas de reflexão. Discu- timos com detalhes o uso dos diferentes níveis de linguagem e metalinguagem no processo de formalização
- Imprenta:
- Data da defesa: 11.04.2022
- Este periódico possui versão em assinatura (ou híbrida)
- Este artigo possui versão em acesso aberto
- URL de acesso aberto
- PDF de acesso aberto
- Versão: publishedVersion
- Evidência: deprecated
- Status do Acesso Aberto: gold
-
ABNT
SCHOUERI, Pedro Galvão. Fundamentos do forcing. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/. Acesso em: 10 mar. 2026. -
APA
Schoueri, P. G. (2022). Fundamentos do forcing (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/ -
NLM
Schoueri PG. Fundamentos do forcing [Internet]. 2022 ;[citado 2026 mar. 10 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/ -
Vancouver
Schoueri PG. Fundamentos do forcing [Internet]. 2022 ;[citado 2026 mar. 10 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/
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
