Ok. Para os não-principais é preciso uma forma fraca do AC, conforme o Walter observou.
Abs Rodrigo 2012/11/20 Walter Carnielli <walter.carnie...@gmail.com> > Ola Rodrigo, > ele queria os nao-principais (pelo que.sei do trabalho dele), > Abs > Waltet > Em 20/11/2012 08:22, "Rodrigo Freire" <freires...@gmail.com> escreveu: > > Qualquer ultrafiltro principal (em partes dos naturais por exemplo) é >> demonstrado existir sem uso do AC, ou de algo mais fraco: Fixe n um número >> natural e considere a família de todos os conjuntos de números naturais que >> contém n. Isso é um ultrafiltro. >> >> Abraço >> Rodrigo >> >> >> >> >> >> >> >> 2012/11/20 Walter Carnielli <walter.carnie...@gmail.com> >> >>> Ola Tony, >>> tome o filtro de Frechet, dos co-finitos (sobre uma base infinita) que >>> pode ser estendido a um ultrafiltro sem usar o AC (mas algo mais fraco). >>> Em 19/11/2012 23:54, "Tony Marmo" <marmo.t...@gmail.com> escreveu: >>> >>> > Caríssimos, >>> > >>> > Estou indagando acerca de filtros que não se sabe se existem mesmo ou >>> não. >>> > Pergunto: são todos casos em que a existência do ultrafiltro depende do >>> > axioma da escolha ou há mais casos? Então, peço exemplos. >>> > >>> > Muito obrigado >>> > _______________________________________________ >>> > Logica-l mailing list >>> > Logica-l@dimap.ufrn.br >>> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> > >>> _______________________________________________ >>> Logica-l mailing list >>> Logica-l@dimap.ufrn.br >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> >> >> _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l