# Testing

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-order language of set theory is true in the … Continue reading