A discussão relacionada que o Tim iniciou na fom também pode ter algum interesse: https://cs.nyu.edu/pipermail/fom/2020-August/022310.html https://cs.nyu.edu/pipermail/fom/2020-August/thread.html
Outra questão levantada pelo Tim no mathoverflow foi mencionada ao longo da thread: https://mathoverflow.net/questions/100792/forcing-over-set-theory-versus-forcing-over-arithmetic Neste contexto, o nosso colega Giorgio mandou para lá uma mensagem: https://cs.nyu.edu/pipermail/fom/2020-August/022314.html JM On Mon, Aug 24, 2020 at 9:23 AM Rodrigo Freire <[email protected]> wrote: > > Quem tem interesse em forcing e assistiu a palestra correspondente no > "lógicos em quarentena" pode se interessar por essa discussão: > > https://mathoverflow.net/questions/369710/a-better-way-to-explain-forcing > > -- > Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAExWzULPS6-WZOu-Rz_TbL97ig27NwgTLmHijautSnpFib0iDA%40mail.gmail.com. -- http://sequiturquodlibet.googlepages.com/ -- 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/CAO6j_LiZDErZi_x%2BpvnB9NMTGw3T8C5_YKO8osHRgvW-OHaEww%40mail.gmail.com.
