Über für-fast-alle-Quantoren. Heinz-Dieter Ebbinghaus (1969) Archiv für mathematische Logik und Grundlagenforschung