Axiom of choice - Herrlich, Horst 1937-2015 (Lecture notes in mathematics, 2006)