Covering, core model induction, and hod mice (Part II)
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.