Is sigma-additivity (countable additivity) of Lebesgue measure (say on measurable subsets of the real line) deducible from the Zermelo-Fraenkel set theory (without the axiom of choice)?
Note 1. Follow-up question: Jech's 1973 book on the axiom of choice seems to be cited as the source for the Feferman-Levy model. Can this be sourced in the work of Feferman and levy themselves? Are these S. Feferman and A. Levy?