Title: Equivalents of the axiom of choice, II
Subjects: Axiom of choice, Logic, symbolic and mathematical