Mathematical Logic Quarterly

Mathematical Logic Quarterly