Olá, pessoal! Estamos divulgando nosso trabalho sobre a teoria Flow, uma teoria geral sobre funções, cujo propósito inicial era fornecer um framework tanto para a teoria de categorias quanto para ZF. No meio do caminho, Adonai resolveu o problema em aberto do princípio da partição, isto é, construiu um modelo para ZF em Flow em que vale o princípio da partição mas não o axioma de escolha, e agora a Teoria Flow conta com um cartão de visitas muito legal!
Uma prévia do trabalho está disponível no arXiv: https://arxiv.org/abs/2010.03664 O objetivo de divulgar o preprint é recolher críticas, sugestões, antes da submissão para um periódico. Então, todas as críticas são bem-vindas! Obrigado! Abraços! M. -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA_hCxW7EMfp8_ZSfYRyUAHe8f7AYPqwAXMEub6RXZKywjW-6g%40mail.gmail.com.