Mathematical Logic Quarterly (Barth, 2005)