BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Failures of the Forcing Theorem - Holy\, P (Universitt Bonn)
DTSTART:20150825T150000Z
DTEND:20150825T160000Z
UID:TALK60449@talks.cam.ac.uk
CONTACT:42080
DESCRIPTION:The forcing theorem is the most fundamental result about set f
 orcing\, stating that the forcing relation for any set forcing is definabl
 e and that the truth lemma holds\, that is everything that holds in a gene
 ric extension is forced by a condition in the relevant generic filter. We 
 show that both the definability of the forcing relation and the truth lemm
 a can fail for class forcing. We will also present positive results about 
 and characterizations of the forcing theorem in class forcing.\nThis is jo
 int work with Regula Krapf\, Philipp Lcke\, Ana Njegomir and Philipp Schli
 cht.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR