MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Somewhat related to my other question Existence of non-principal ultrafilters on sets, is it known whether it is consistent with ZF that every infinite set has a free (non-principal) ultrafilter, but not every filter on a Boolean algebra can be extended to an ultrafilter? (Again, use you favorite interpretation of "infinite" here. Large cardinals may be used.)

share|cite|improve this question
In Jech's book "The Axiom of Choice" it is stated that the Prime Ideal Theorem may fail while every infinite set has a non-trivial ultrafilter. The proof is the exercise 8.5 (I don't have time to sketch it right now, hence the comment). – Apostolos Sep 27 '11 at 14:02
Thank you. I will have a look at the exercise. – Stefan Geschke Sep 27 '11 at 16:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.