I am invited to give an invited talk at the first Gdansk Logic Conference, University of Gdansk, Poland, May 5-7, 2023.

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