BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Classifying toposes and forcing - Eric Faber (DPMMS)
DTSTART:20150528T130000Z
DTEND:20150528T140000Z
UID:TALK59629@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:In this talk\, I will present an overview of a well-known appl
 ication of topos theory to logic that connects the theory of classifying t
 oposes to the method of forcing in set theory. Starting with an introducti
 on to classifying toposes\, we see where both theories overlap and how thi
 s contributes to the understanding of forcing. I will assume familiarity w
 ith basic topos theory. If you have never seen forcing\, this talk can ser
 ve as an introduction.\n
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR