Maxwell Levine : On the Definability of the Ground Model in Forcing Extensions

Posted by Maxwell Levine , part of the Louise Hay Logic Seminar.

At

Sept. 18, 2014, 4 p.m.

In

SEO 427

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.