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...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | pt |
Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2016
|
Subjects: | |
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 |