The core model induction
by
Grigor Sargsyan
University of California, Berkeley

The speaker will give an outline of what the core model induction is and what one can do with it. A typical result one can prove using it is that a certain combinatorial theory T implies that certain amount of the Axiom of Determinacy holds. One then transfers that amount of Determinacy into the large cardinal hierarchy and gets that a combinatorial theory T implies that there is an inner model of a certain large cardinal. Some recent results will be stated.

Date received: March 26, 2009