Zeitschrift_fur_Mathematische_Logik_und_Grundlagen_der_Mathematik