: Mathematik :: Topologie :: Logik :: Reine Mathematik :: Ultrafilter :

Ultrafilter in Topologie und Logik [von Cerebus] (matroid)

Ultrafilter sind sehr seltsame mengentheoretische Objekte. Kein Mensch kann sich vorstellen wie ein freier Ultrafilter aussieht. Trotzdem lässt sich damit eine Menge interessanter Mathematik betreiben. Wir verwenden Ultrafilter um eine Reihe spektakulärer Sätze zu Beweisen. Insbesondere beweisen wir Tychonoffs Produkttheorem und den Kompaktheitssatz der Aussagenlogik.