I was kindly granted permission by Elsevier to post here the publisher's final version of the article.

I was asked to include the following link: https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic.