Archive for Mathematical Logic