A técnica de forcing e aplicações

Detalhes bibliográficos
Autor(a) principal: Pereira, Júnio Luan
Data de Publicação: 2016
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
Resumo: O texto descreve a definição e formalização da técnica de forcing, através de uma abordagem direta, sem a conversão para modelos transitivos. Também usa esta abordagem para provar um certo número de teoremas de consistência no âmbito da aritmética de cardinais e afins.
id USP_0ca425b23b3a5f600a9a4b4d0bcfccbb
oai_identifier_str oai:teses.usp.br:tde-30092016-163940
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling A técnica de forcing e aplicaçõesThe forcing technic and applicationsAplicaçõesApplicationsForcingForcingO texto descreve a definição e formalização da técnica de forcing, através de uma abordagem direta, sem a conversão para modelos transitivos. Também usa esta abordagem para provar um certo número de teoremas de consistência no âmbito da aritmética de cardinais e afins.The text describes the definition and formalization of the forcing technique, via a direct approach, without the transition to ground models. It also uses this approach to prove a number of consistency theorems on cardinal arithmetic and related subjects.Biblioteca Digitais de Teses e Dissertações da USPAurichi, Leandro FioriniPereira, Júnio Luan2016-03-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/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/openAccesspor2020-08-16T22:20:53Zoai:teses.usp.br:tde-30092016-163940Biblioteca 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:27212020-08-16T22:20:53Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv A técnica de forcing e aplicações
The forcing technic and applications
title A técnica de forcing e aplicações
spellingShingle A técnica de forcing e aplicações
Pereira, Júnio Luan
Aplicações
Applications
Forcing
Forcing
title_short A técnica de forcing e aplicações
title_full A técnica de forcing e aplicações
title_fullStr A técnica de forcing e aplicações
title_full_unstemmed A técnica de forcing e aplicações
title_sort A técnica de forcing e aplicações
author Pereira, Júnio Luan
author_facet Pereira, Júnio Luan
author_role author
dc.contributor.none.fl_str_mv Aurichi, Leandro Fiorini
dc.contributor.author.fl_str_mv Pereira, Júnio Luan
dc.subject.por.fl_str_mv Aplicações
Applications
Forcing
Forcing
topic Aplicações
Applications
Forcing
Forcing
description O texto descreve a definição e formalização da técnica de forcing, através de uma abordagem direta, sem a conversão para modelos transitivos. Também usa esta abordagem para provar um certo número de teoremas de consistência no âmbito da aritmética de cardinais e afins.
publishDate 2016
dc.date.none.fl_str_mv 2016-03-18
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 http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
url http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
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_ 1809091208991997952

Registros relacionados