In set theory, a set $A$ is a projective set if for any other sets $B, C$ and for any function $f:A\rightarrow B$ and surjective function $g:C\rightarrow B$, there exists a function $h:A\rightarrow C$ such that $g \circ h = f$. The Axiom of Choice is the statement that all sets are projective sets, while the weaker Axiom of Countable Choice is the statement that $\mathbb{N}$ is a projective set.
Suppose that the Axiom of Choice in classical set theory is replaced with the weaker axiom that the set of real numbers $\mathbb{R}$ is a projective set. Let us for the sake of this question call this new axiom the Axiom of Real Choice, for lack of a better term.
- Is the Axiom of Countable Choice provable from the Axiom of Real Choice? If so, then:
- Which results in mathematics (such as in real analysis, group theory, etc) that are proven using the full Axiom of Choice and cannot be proven using the Axiom of Countable Choice are now provable using the Axiom of Real Choice?
- Which results in mathematics that are proven using the full Axiom of Choice and cannot be proven using the Axiom of Countable Choice still cannot be proved using the Axiom of Real Choice?
- Are there any commonly used axioms that are inconsistent with the full Axiom of Choice that are consistent with the Axiom of Real Choice?