Á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:
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.
© 2025 Instituto de Ciências Matemáticas e de Computação
