A técnica de forcing e aplicações

Pereira, Júnio Luan

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

Início

Servicios

Disertación de Maestría

DOI

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

Documento

Disertación de Maestría

Autor

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

Nombre completo

Júnio Luan Pereira

Dirección Electrónica

Instituto/Escuela/Facultad

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

Área de Conocimiento

Matemática

Fecha de Defensa

2016-03-18

Publicación

São Carlos, 2016

Director

Aurichi, Leandro Fiorini (Catálogo USP)

Tribunal

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

Título en portugués

A técnica de forcing e aplicações

Palabras clave en portugués

Aplicações
Forcing

Resumen en portugués

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.

Título en inglés

The forcing technic and applications

Palabras clave en inglés

Applications
Forcing

Resumen en inglés

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.

ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.

JunioLuanPereira_revisada.pdf (973.93 Kbytes)

Fecha de Publicación

2016-09-30

Trabajos derivados

ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.