MATHEMATICAL LOGIC QUARTERLY