Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações serão gravadas e estarão disponíveis na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 14 de maio de 2020 Horário: 16:00h Apresentador: Prof. Rodrigo Freire (DF/UnB) Título: Uma abordagem axiomática para forcing e extensões genéricas Resumo: Vamos apresentar uma axiomatização simultânea do forcing e das extensões genéricas e mostrar como os resultados usuais seguem dos nossos axiomas. Vamos também mostrar que nossa axiomatização é categórica. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/hvw-hiky-vfz . Caso você deseje contribuir com uma apresentação, por favor preencha o formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 . -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0_kP7zYUkPD7q0hLPAntJVU%3DYQWLMWBkGG_RVSoaTAmxQ%40mail.gmail.com.
