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.
Identifer | oai:union.ndltd.org:IBICT/oai:teses.usp.br:tde-30092016-163940 |
Date | 18 March 2016 |
Creators | Júnio Luan Pereira |
Contributors | Leandro Fiorini Aurichi, Rodrigo Roque Dias, Samuel Gomes da Silva, Eduardo Tengan |
Publisher | Universidade de São Paulo, Matemática, USP, BR |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Source | reponame:Biblioteca Digital de Teses e Dissertações da USP, instname:Universidade de São Paulo, instacron:USP |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0022 seconds