Der Begriff des Ultrafilters entstammt der Mathematik. Hier bezeichnet man im Rahmen der Mengenlehre einen Mengenfilter auf einer Menge X {\displaystyle...

(relativ zu den Axiomen der Mengenlehre ohne Auswahlaxiom) u. a. zu: Ultrafilterlemma Kompaktheitssatz Satz von Lindenbaum Darstellungssatz für Boolesche...

Auswahlaxiom impliziert, denn er folgt bereits aus dem schwächeren Ultrafilterlemma. Die obige Auswahl ist in diesem Fall nicht notwendig, da Grenzwerte...

ihre duale boolesche Algebra, so wird der boolesche Primidealsatz zum Ultrafilterlemma. In einer booleschen Algebra kann auf natürliche Weise eine Ordnung...

anwandte. Er bewies zum Beispiel mit James Halpern 1971, dass das Ultrafilterlemma als Axiom nicht das Auswahlaxiom zur Folge hat. Da es umgekehrt aus...