A técnica de forcing e aplicações

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. === The text describes the def...

Full description

Bibliographic Details
Main Author:	Pereira, Júnio Luan
Other Authors:	Aurichi, Leandro Fiorini
Format:	Others
Language:	pt
Published:	Biblioteca Digitais de Teses e Dissertações da USP 2016
Subjects:	Aplicações Applications Forcing
Online Access:	http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/

id	ndltd-usp.br-oai-teses.usp.br-tde-30092016-163940
record_format	oai_dc
spelling	ndltd-usp.br-oai-teses.usp.br-tde-30092016-1639402019-05-09T22:07:25Z A técnica de forcing e aplicações The forcing technic and applications Pereira, Júnio Luan Aplicações Applications Forcing Forcing 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. 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 USP Aurichi, Leandro Fiorini 2016-03-18 Dissertação de Mestrado application/pdf http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/ pt Liberar o conteúdo para acesso público.
collection	NDLTD
language	pt
format	Others
sources	NDLTD
topic	Aplicações Applications Forcing Forcing
spellingShingle	Aplicações Applications Forcing Forcing Pereira, Júnio Luan A técnica de forcing e aplicações
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. === 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.
author2	Aurichi, Leandro Fiorini
author_facet	Aurichi, Leandro Fiorini Pereira, Júnio Luan
author	Pereira, Júnio Luan
author_sort	Pereira, Júnio Luan
title	A técnica de forcing e aplicações
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	técnica de forcing e aplicações
publisher	Biblioteca Digitais de Teses e Dissertações da USP
publishDate	2016
url	http://www.teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
work_keys_str_mv	AT pereirajunioluan atecnicadeforcingeaplicacoes AT pereirajunioluan theforcingtechnicandapplications AT pereirajunioluan tecnicadeforcingeaplicacoes
_version_	1719078002214567936

A técnica de forcing e aplicações

Similar Items