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.0024 seconds