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
