Return to search

A técnica de forcing e aplicações / The forcing technic and applications

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.

Identiferoai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-30092016-163940
Date18 March 2016
CreatorsPereira, Júnio Luan
ContributorsAurichi, Leandro Fiorini
PublisherBiblioteca Digitais de Teses e Dissertações da USP
Source SetsUniversidade de São Paulo
LanguagePortuguese
Detected LanguagePortuguese
TypeDissertação de Mestrado
Formatapplication/pdf
RightsLiberar o conteúdo para acesso público.

Page generated in 0.0018 seconds