Ann. Pure Appl. Logic