Marcio, Samuel, e voces conseguem dizer *por que* o principio da particao 'vale em ZF, mas o axioma da escolha nao? porque tinha uma razao pra pensar que eles seriam equivalentes, ne? qual era essa razao? obrigada, Valeria
On Fri, Oct 9, 2020 at 1:32 PM samuel <sam...@ufba.br> wrote: > Caros, > > Renato Brodzinski (outro dos autores) tinha me avisado mais cedo desse > trabalho. Por acaso, o seminário que eu vou apresentar em novembro fala, > precisamente, do Princípio da Partição ! > > Se tudo der certo, eles resolveram só o problema mais antigo da Teoria dos > Conjuntos (com mais de 100 anos em aberto). > > Atés e parabéns pelo trabalho, > > []s Samuel > > Em sexta-feira, 9 de outubro de 2020 às 08:29:14 UTC-4, marciopalmares > escreveu: > >> 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ê 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 logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8335ff82-f056-426b-b53c-95cef9dbacban%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8335ff82-f056-426b-b53c-95cef9dbacban%40dimap.ufrn.br?utm_medium=email&utm_source=footer> > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- 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/CAESt%3DXuUF49LXeNoStYW9wR20FtxcYi6sXu8HftR-SJ-WXSjow%40mail.gmail.com.