Journal of Mathematical Logic