ZF and the Existence of Finitely additive measure on $\mathcal{P}(\mathbb{R})$ My understanding is that Solovay (1970)'s relative consistency shows that if ZFC+I has a model then ZF+DC has a model in which every subset of the reals is Lebesgue measurable (and hence $\sigma$-additive).
I was wondering if there a relative consistency result that shows that ZF + {some weaker than AC/DC condition} proves the existence of finitely additive atomless probability measure $\mu$ on $\mathcal{P}(\mathbb{R})$ satisfying following conditions? Is ZF alone sufficient to prove the existence such measure? Thanks!


*

*$\mu(\emptyset)=0$ and $\mu(\mathbb{R})=1$ 

*If $X\subseteq Y$ then $\mu(X)\le \mu(Y)$

*If $X$ and $Y$ are disjoint, then $\mu(X\cup Y)=\mu(X)+\mu(Y)$

*For every $x\in \mathbb{R}$, $\mu(\{x\})=0$





*

*Solovay, R. M. (1970). A model of set-theory in which every set of reals is Lebesgue measurable. The Annals of Mathematics, 92(1):1–56.

 A: The issue is that $\sf DC$ is not the right tool for constructing measures or ultrafilters. Both, when constructed by transfinite recursion, require recursion much longer than a countable length, which really all that $\sf DC$ can give you.
The tool for obtaining such objects is instead the Boolean Prime Ideal theorem, or weaker theorems like the Hahn-Banach theorem. Those work "magically" by combining finitely coherent objects into a larger, maximal, object. Although these too have limits, since they are weaker than the axiom of choice (and in fact the Boolean Prime Ideal theorem is consistent with the failure of countable choice).

If you look at the 4th section of the following paper, you will see that the proof given by Blass that it is consistent that there are no free ultrafilters (at all) can be transformed into a proof that there are no non-principal measures either; all the while preserving $\sf DC$.

David Pincus and Robert M. Solovay, Definability of measures and ultrafilters, J. Symbolic Logic 42 (1977), no. 2, 179--190.

