I am invited to give a talk in the CUNY Logic Workshop on Nov 15, 2019. Title and abstract for the talk will be announced in due course.