Nielsen-Schreier implies the finite Axiom of Choice
We present a new proof that the statement 'every subgroup of a free group is free' implies the Axiom of Choice for finite sets.
math.LO↗
arXiv subjects
Philipp Kleppmann
Publications and source records attributed to Philipp Kleppmann.