I am invited to give a talk in the Logic Colloquium of the University of Vienna on March 3, 2022.

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