BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Constructing models of constructive or intuitionistic set theory f
 rom classical models of set theory - Robert Passmann (University of Amster
 dam)
DTSTART:20180213T154500Z
DTEND:20180213T164500Z
UID:TALK101122@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:Kripke models for intuitionistic logic are well studied. It se
 ems\nnatural to try to extend this technique to construct models of\nintui
 tionistic or constructive set theory IZF/CZF by associating models\nof set
  theory to the nodes. We are particularly interested in doing so\nwith mod
 els of classical set theory ZF(C ) and their generic extensions.\nIn a fir
 st part\, we will consider an approach of Iemhoff\, study its\nlimits and 
 underlying logic. In the second part\, we will consider\nconstructions of 
 Lubarsky.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR