A survey of set-theoretic geology, Notre Dame Logic Seminar, January 2023

This will be a talk 31 January 2-3 for the Notre Dame Logic Seminar. Abstract. I shall give a general introduction and account of the main elements of set-theoretic geology, the motivating questions, the central definitions, and the main results, … Continue reading →