Annals of mathematical logic