Eine algebraische Konstruktion abzählbarer Modelle. W. Schönfeld (1977) Archiv für mathematische Logik und Grundlagenforschung