A técnica de forcing e aplicações

Pereira, Júnio Luan

doi:10.11606/D.55.2016.tde-30092016-163940

Home

Facilities

Master's Dissertation

DOI

https://doi.org/10.11606/D.55.2016.tde-30092016-163940

Document

Master's Dissertation

Author

Pereira, Júnio Luan (Catálogo USP)

Full name

Júnio Luan Pereira

E-mail

Institute/School/College

Instituto de Ciências Matemáticas e de Computação

Knowledge Area

Mathematics

Date of Defense

2016-03-18

Published

São Carlos, 2016

Supervisor

Aurichi, Leandro Fiorini (Catálogo USP)

Committee

Aurichi, Leandro Fiorini (President)
Dias, Rodrigo Roque
Silva, Samuel Gomes da
Tengan, Eduardo

Title in Portuguese

A técnica de forcing e aplicações

Keywords in Portuguese

Aplicações
Forcing

Abstract in Portuguese

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.

Title in English

The forcing technic and applications

Keywords in English

Applications
Forcing

Abstract in English

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.

WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.

JunioLuanPereira_revisada.pdf (973.93 Kbytes)

Publishing Date

2016-09-30

Derived works

WARNING: Learn what derived works are clicking here.