Book:Journal/Mathematical Logic Quarterly