Área de concentração: 55135 - Matemática

Criação: 28/06/2022

Nº de créditos: 10

Carga horária:

Teórica
Por semana
Prática
Por semana
Estudos
Por semana
Duração Total
4 0 6 15 Semanas 150 Horas

Docentes responsáveis:

Leandro Fiorini Aurichi


Objetivos:

Apresentar a técnica de forcing.


Justificativa:

Forcing é umas das principais técnicas de prova de resultados consistentes em matemática.


Conteúdo:

Modelos para a teoria dos conjuntos; consistência relativa de fórmulas; axioma de Martin; Técnica de forcing: principais resultados que fundamentam a técnica; Exemplos de forcings: de reais de Cohen, de Silver, de Sacks etc. Tipos de forcing: ccc, enumeravelmente fechados etc.; Resultados básicos: preservação de propriedades, produtos de forcing etc


Forma de avaliação:

Provas, exercícios ou seminários.


Observação:

Forma de oferecimento
Apenas presencial


Bibliografia:

1. KUNEN, K. Set Theory: an introduction to independence proofs. 10th impression. of the 1980 original. Amsterdam: Elsevier, 2006.
2. JECH, T. Set theory: The third millennium edition, revised and expanded. Berlin: Springer-Verlag, 2003.

CONECTE-SE COM A GENTE
 

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