Aufgabe 5.9
Kurs:Einführung in die mathematische Logik (Osnabrück 2014)/Vorlesung 5 R^N/Ideale/Filter/Korrespondenz/Aufgabe