Mathematical Logic Quarterly (MLQ)