Ola Rodrigo, ele queria os nao-principais (pelo que.sei do trabalho dele), Abs Waltet Em 20/11/2012 08:22, "Rodrigo Freire" <[email protected]> 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 <[email protected]> > >> 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" <[email protected]> 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 >> > [email protected] >> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
