Journal:

ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik