We compute the mantle of the minimal mouse with a Woodin and strong cardinal. It turns out to be the core model of the mouse. This is a joint work with Ralf Schindler.
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.