Fundamentos do forcing

Detalhes bibliográficos
Autor(a) principal: Schoueri, Pedro Galvão
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/
Resumo: 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.
id USP_e5b3f93e070e1b39da3bcf4e1f428ce5
oai_identifier_str oai:teses.usp.br:tde-08062022-150446
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Fundamentos do forcingForcing fondationsAbsolutenessAbsolutividadeConsistência relativaForcingForcingLanguageMetalanguageMetalinguagemReflection theoremsRelative consistencyTeoremas de reflexãoNeste 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.In this work we will present the forcing technique, showing the relative consistency of ZFC and ZF C ` CH. The focus of the dissertation is the logic foundation of the technique and its tools, like the concept of absoluteness and reflection theorems. We will discuss in detail the use of different levels of language and metalanguage in the process.Biblioteca Digitais de Teses e Dissertações da USPFajardo, Rogerio Augusto dos SantosSchoueri, Pedro Galvão2022-04-11info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2022-07-13T20:43:52Zoai:teses.usp.br:tde-08062022-150446Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212022-07-13T20:43:52Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Fundamentos do forcing
Forcing fondations
title Fundamentos do forcing
spellingShingle Fundamentos do forcing
Schoueri, Pedro Galvão
Absoluteness
Absolutividade
Consistência relativa
Forcing
Forcing
Language
Metalanguage
Metalinguagem
Reflection theorems
Relative consistency
Teoremas de reflexão
title_short Fundamentos do forcing
title_full Fundamentos do forcing
title_fullStr Fundamentos do forcing
title_full_unstemmed Fundamentos do forcing
title_sort Fundamentos do forcing
author Schoueri, Pedro Galvão
author_facet Schoueri, Pedro Galvão
author_role author
dc.contributor.none.fl_str_mv Fajardo, Rogerio Augusto dos Santos
dc.contributor.author.fl_str_mv Schoueri, Pedro Galvão
dc.subject.por.fl_str_mv Absoluteness
Absolutividade
Consistência relativa
Forcing
Forcing
Language
Metalanguage
Metalinguagem
Reflection theorems
Relative consistency
Teoremas de reflexão
topic Absoluteness
Absolutividade
Consistência relativa
Forcing
Forcing
Language
Metalanguage
Metalinguagem
Reflection theorems
Relative consistency
Teoremas de reflexão
description 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.
publishDate 2022
dc.date.none.fl_str_mv 2022-04-11
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/
url https://www.teses.usp.br/teses/disponiveis/45/45131/tde-08062022-150446/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090513448468480

Registros relacionados