Equivalents of the axiom of choice

@inproceedings{2009EquivalentsOT,
  title={Equivalents of the axiom of choice},
  author={},
  year={2009}
}
  • Published 2009
Parts of this note have been discussed elsewhere in the blog, sometimes in a different form (see here and here, for example), but I haven’t examined before the equivalence of 5–7 with choice. In the course of the proof of the equivalence of item 7 with the other statements, a few additional equivalent versions of independent interest will be identified. The equivalence of 1–3 is classic. Zermelo’s original axiomatization of set theory intended to formalize the proof that 2⇒ 1. Statements 2 and… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.