Annals of Mathematical Logic