Sentimos avisar que o minicurso foi cancelado. As outras atividades ocorrerão normalmente no horário da tarde.
Prof. Dr. Samuel Gomes da Silva (UFBA)
Ms. Diego Lima Bomfim (Doutorando UFBA)
Bel. Marcelo Oliveira Dias (Mestrando UFBA)
Forcing e Aplicações
Neste minicurso faremos um rápido repasse dos principais tópicos iniciais do forcing (técnica avançada de Teoria dos Conjuntos que permite obter resultados de consistência e independência em Matemática). O minicurso está baseado no curso regular do Doutorado UFBA-UFAL, de mesmo título, ministrado em 2023.2 pelo prof. Samuel para os alunos Diego e Marcelo. Neste minicurso veremos:
relativização de fórmulas e absolutividade,
modelos transitivos enumeráveis de fragmentos de ZFC,
nomes e valorações,
extensões genéricas,
o Lema do Forcing e o Lema da Verdade,
forcing c.c.c. e a consistência da negacao da Hipótese do Contínuo,
forcing enumeravelmente fechado e preservação/consistência da Hipótese do Contínuo.
Duraçao: 5 sessoes de 100 minutos