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 é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
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://www.teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/. Acesso em: 12 jan. 2026. -
APA
Schoueri, P. G. (2022). Fundamentos do forcing (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/ -
NLM
Schoueri PG. Fundamentos do forcing [Internet]. 2022 ;[citado 2026 jan. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/ -
Vancouver
Schoueri PG. Fundamentos do forcing [Internet]. 2022 ;[citado 2026 jan. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/
Informações sobre o DOI: 10.11606/D.45.2022.tde-08062022-150446 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
