Existence of non-principal ultrafilters on sets - MathOverflow most recent 30 from http://mathoverflow.net2013-05-23T02:27:03Zhttp://mathoverflow.net/feeds/question/76495http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/76495/existence-of-non-principal-ultrafilters-on-setsExistence of non-principal ultrafilters on setsStefan Geschke2011-09-27T11:22:46Z2011-09-27T11:55:08Z
<p>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.)</p>
http://mathoverflow.net/questions/76495/existence-of-non-principal-ultrafilters-on-sets/76499#76499Answer by François G. Dorais for Existence of non-principal ultrafilters on setsFrançois G. Dorais2011-09-27T11:55:08Z2011-09-27T11:55:08Z<p>Yes, it is consistent with ZF that every ultrafilter is principal. This is a result of Andreas Blass, <em>A model without ultrafilters</em>, Bull. Acad. Polon. Sci. 25 (1977), 329–331.</p>