Louise Hay Logic Seminar
Maxwell Levine
UIC
On the Definability of the Ground Model in Forcing Extensions
Abstract: We will discuss Laver's result that the ground model is always definable with one parameter from the point of view of any forcing extension. This result, despite seeming very essential, came about long after forcing was discovered. This talk will go through the proof in a gently technical manner.
Thursday September 18, 2014 at 4:00 PM in SEO 427