Annals of Pure & Applied Logic