arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1506.03435math.LO
收藏

Nielsen-Schreier implies the finite Axiom of Choice

Philipp Kleppmann

英文摘要:

We present a new proof that the statement 'every subgroup of a free group is free' implies the Axiom of Choice for finite sets.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑