A técnica de forcing e aplicações

Pereira, Júnio Luan

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

Accueil

Services

Mémoire de Maîtrise

DOI

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

Document

Mémoire de Maîtrise

Auteur

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

Nom complet

Júnio Luan Pereira

Adresse Mail

Unité de l'USP

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

Domain de Connaissance

Mathématiques

Date de Soutenance

2016-03-18

Editeur

São Carlos, 2016

Directeur

Aurichi, Leandro Fiorini (Catálogo USP)

Jury

Aurichi, Leandro Fiorini (Président)
Dias, Rodrigo Roque
Silva, Samuel Gomes da
Tengan, Eduardo

Titre en portugais

A técnica de forcing e aplicações

Mots-clés en portugais

Aplicações
Forcing

Resumé en portugais

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.

Titre en anglais

The forcing technic and applications

Mots-clés en anglais

Applications
Forcing

Resumé en anglais

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.

AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.

JunioLuanPereira_revisada.pdf (973.93 Kbytes)

Date de Publication

2016-09-30

Œvres dérivées

AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.