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

Is it known to be consistent with ZF that there is no non-principal ultrafilter on any infinite set? (Feel free to use your favorite interpretation of "infinite" in this context. If infinite just meant infinite ordinals, that would be fine, too. You may use all kinds of large cardinals.)

share|cite|improve this question
up vote 12 down vote accepted

Yes, it is consistent with ZF that every ultrafilter is principal. This is a result of Andreas Blass, A model without ultrafilters, Bull. Acad. Polon. Sci. 25 (1977), 329–331.

share|cite|improve this answer
And it is also contained in: MR0480028 (58 #227) Pincus, David; Solovay, Robert M. Definability of measures and ultrafilters. J. Symbolic Logic 42 (1977), no. 2, 179–190. – Simon Thomas Sep 27 '11 at 12:09
Thanks for the answers. I was under the wrong impression that only the existence of ultrafilters on particular sets had been looked at – Stefan Geschke Sep 27 '11 at 12:10

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.