BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Category of Sets according to Stratified Set Theories - Thomas
  Forster\, DPMMS
DTSTART:20140121T141500Z
DTEND:20140121T151500Z
UID:TALK48525@talks.cam.ac.uk
CONTACT:Julia Goedecke
DESCRIPTION: It is an old result of McLarty's that\, according to NF\, the
  category of sets is not cartesian closed.  NF has a universal set\, but t
 hat is not the only reason for the result.  The assertion that the univers
 e of sets is \ncartesian-closed has significant consistency strength in se
 t theories all of whose axioms are stratified\, and McLarty's result is th
 e tip of an iceberg\, some of which I shall try to reveal on Tuesday.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR