A Hipótese Generalizada do Continuo implica o Axioma da Escolha

[samuel]

Prezados

Foi lançada hoje uma nova edição da Revista Hipatia de Matemática, do Departamento de Matemática da UFBA. Segue link: 

https://drive.google.com/file/d/1bRn2UDPTX83UTOTx6IvvfLDoKEPW_LfK/view

Incluída na edição um artigo meu e de meu doutorando Diego Lima Bomfim, onde registramos algo que pesquisamos há algum tempo quando ele ainda estava na Iniciação Científica: que a Hipótese Generalizada do Contínuo implica o Axioma da Escolha. Trata-se de um resultado de Sierpinski dos anos 40, e apresentamos a demonstração de Specker, dos anos 50.

No final do artigo colocamos um "roteiro de exercícios guiados" para o leitor concluir por si só a "moldura de Axioma da Escolha" que é usada na demonstração, que é o resultado de Tarski: o Axioma da Escolha é equivalente à equipotência entre X e X x X (cartesiano de X por si mesmo) para todo X infinito.

Abraços a todos. 

[]s  Samuel