Covering, core model induction and hod mice
We will discuss recent covering principles and show how they can be used to derive strength from failure of square.
Grigor Sargsyan is a professor of mathematics at Rutgers University. He received his Ph.D. at UC Berkeley, 2009. His research interests are in logic, set theory, and foundations: descriptive set theory, inner model theory, large cardinals, and forcing.