I am invited to give a talk at the PhDs in Logic XIII conference in Turin, Italy, September 5 - 7, 2022.

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