Annals of pure and applied logic (Elsevier science, 1983)