ANNALS OF PURE AND APPLIED LOGIC