Idioma:

Fundamentos do forcing

Schoueri, Pedro Galvão

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Fundamentos do forcing
Autor: Schoueri, Pedro Galvão
Orientador: Fajardo, Rogerio Augusto dos Santos
Assuntos: Teoremas De Reflexão; Absolutividade; Consistência Relativa; Forcing; Metalinguagem; Relative Consistency; Reflection Theorems; Metalanguage; Language; Absoluteness
Notas: Dissertação (Mestrado)
Descrição: Neste trabalho vamos apresentar a técnica de forcing, mostrando a consistência relativa entre ZF C e ZF C ` CH. O foco principal da dissertação é a fundamentação lógica da técnica e das ferramentas utilizadas, como o conceito de absolutividade e teoremas de reflexão. Discu- timos com detalhes o uso dos diferentes níveis de linguagem e metalinguagem no processo de formalização.
DOI: 10.11606/D.45.2022.tde-08062022-150446
Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística
Data de criação/publicação: 2022-04-11
Formato: Adobe PDF
Idioma: Português

Links

Voltar para lista de resultados

Anterior Resultado 5 Avançar Ir para próxima página