Alô a todos, Gostaria de informar à comunidade de lógicos que na edição recente da revista "Matemática Universitária" saiu um artigo meu (e de meu aluno de mestrado), em "comemoração aos cem anos do Axioma da Escolha" - Zermelo publicou o axioma em 1908, apesar de já tê-lo utilizado em 1904, para provar que todo conjunto pode ser bem ordenado. Vejam a capa da revista (baseada na alegoria de Russel sobre sapatos e meias...) em
http://www.sbm.org.br/nova/website/pageviews.php?menu=5&secao=rmu,&idcol=139 O artigo tem algumas demonstrações de equivalência (Lema de Zorn, Teorema da Boa Ordem) e tem uma demonstração detalhada da equivalência entre o Axioma da Escolha e o Teorema de Tychonoff para espaços compactos T_1 (uma descrição da idéia dessa demonstração já tinha aparecido antes, no prefácio do Newton da Costa para uma edição de 1994 da tese de doutorado de Edison Farah, de 1954, mas com todos os detalhes eu nunca tinha visto num texto nacional). Para quem tinha curiosidade de saber como é essa demonstração, boa leitura ! Até mais, []s Samuel ---------------------------------------------------------------- Universidade Federal da Bahia - http://www.portal.ufba.br _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
