Caros Saudações,
Estão disponibilizadas no nosso canal do YouTube (Mathematical Logic UFBA) dois seminários que apresentei sobre o "Teorema da Reflexão de Lévy", que é um teorema importantíssimo de Teoria dos Conjuntos (parte do arcabouço teórico da técnica de forcing) e que eu encontrei uma prova muito bonita usando uma técnica de pontos fixos. https://www.youtube.com/watch?v=SpM3jQP7cg4 https://www.youtube.com/watch?v=oumofKO5oXM Na primeira parte eu explico também o papel que esse teorema tem no forcing (faz parte do caminho usado para obter um modelo transitivo enumerável de qualquer lista finita de axiomas de ZFC que você precise para sua prova de consistência relativa). Abraços []s Samuel -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/35e3db74-647b-4152-a441-1d8ba6d872b7n%40dimap.ufrn.br.
