Variants of the axiom of choice in set theory with atoms Urlich Felgner, Thomas Jech (1973) Fundamenta Mathematicae