On the Existence of Free Ultrafilters on ω and on Russell-sets in ZF
In ZF (i.e. Zermelo-Fraenkel set theory without the Axiom of Choice AC), we investigate the relationship between UF(ω) (there exists a free ultrafilter on ω) and the statements "there exists a free ultrafilter on every Russell-set" and "there exists a Russell-set A and a free ultrafilter ℱ on A". We establish the following results: 1. UF(ω) implies that there exists a free ultrafilter on every Russell-set. The implication is not reversible in ZF. 2. The statement...