This will be a talk for the University of Bonn Logic Seminar, Friday, January 13, 2017, at the Hausdorff Center for Mathematics.
Abstract. Set-theoretic geology is the study of the set-theoretic universe
This will be a talk for the University of Bonn Logic Seminar, Friday, January 13, 2017, at the Hausdorff Center for Mathematics.
Abstract. Set-theoretic geology is the study of the set-theoretic universe
[bibtex key=Hamkins2005:TheGroundAxiom]
This is an extended abstract for a talk I gave at the 2005 Workshop in Set Theory at the Mathematisches Forschungsinstitut Oberwolfach.
Oberwolfach Research Report 55/2005 | Ground Axiom on Wikipedia