jdh.hamkins.org
The inner-model and ground-model reflection principles, CUNY Set Theory seminar, September 2017
This will be a talk for the CUNY Set Theory seminar on September 1, 2017, 10 am. GC 6417. Abstract. The inner model reflection principle asserts that whenever a statement $\varphi(a)$ in the first…