Speaker: 

Andres Forero Cuervo

Institution: 

University of California, Irvine, Department of Mathematics

Time: 

Tuesday, March 3, 2015 - 10:00am

Location: 

340N Rowland Hall

The purpose of this thesis is to use the tools of Inner Model Theory to the study of notions relative to generic embeddings induced by ideals. We seek to apply the Core Model Induction technique to obtain lower bounds in consistency strength for a specific stationary catching principle called StatCatch*(I), related to the saturation of an ideal I of omega_2. This principle involves the central notion of self-genericity in its formulation, introduced by Foreman, Magidor and Shelah. In particular, we show that assuming StatCatch*(I) (plus some additional hypothesis in the universe), we can obtain, for every finite n, an inner model with n Woodin Cardinals.