Some Weak Forms of the Axiom of Choice Restricted to the Real Line

It is shown that AC(ℝ), the axiom of choice for families of non‐empty subsets of the real line ℝ, does not imply the statement PW(ℝ), the powerset of ℝ can be well ordered. It is also shown that (1) the statement “the set of all denumerable subsets of ℝ has size 2 ${}^{\text{ℵ}{}_{\text{0}}}$ ” is strictly weaker than AC(ℝ) and (2) each of the statements (i) “if every member of an infinite set of cardinality 2 ${}^{\text{ℵ}{}_{\text{0}}}$ has power 2 ${}^{\text{ℵ}{}_{\text{0}}}$ , then the union has power 2 ${}^{\text{ℵ}{}_{\text{0}}}$ ” and (ii) “ℵ(2 ${}^{\text{ℵ}{}_{\text{0}}}$ ) ≠ ℵ_ω” (ℵ(2 ${}^{\text{ℵ}{}_{\text{0}}}$ ) is Hartogs' aleph, the least ℵ not ≤ 2 ${}^{\text{ℵ}{}_{\text{0}}}$ ), is strictly weaker than the full axiom of choice AC.