I am invited to give a talk on Nov 12, 2021, in the Trans-Alps Logic Seminar, an online seminar organized by the logic groups of Udine, Turin, Genoa and Lausanne.

Title and abstract for this talk will be announced in due course.