Are the following two statements equivalent in ZF?

The following statement is well known in distributive lattices (D, 0, 1, ., +):(1) Let F be a filter disjoint from an ideal I. Then there exists a prime filter F’ extending F and disjoint from I....

22 October 2014 5,974 10 View