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