Annals of pure and applied logic