Nielsen-Schreier and the Axiom of Choice

Philipp Kleppmann. Nielsen-Schreier and the Axiom of Choice. Math. Log. Q., 61(6):458-465, 2015. [doi]

Abstract

Abstract is missing.