BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A group-theoretic question arising in Typed set theory - Thomas Fo
 rster (University of Cambridge)
DTSTART:20180126T140000Z
DTEND:20180126T150000Z
UID:TALK98068@talks.cam.ac.uk
CONTACT:Maurice Chiodo
DESCRIPTION:TZT is a typed set theory where each set belongs to a level\, 
 where the levels are indexed by the integers and each level is the power s
 et of the level below it. Each level $l$ of course has a symmetric group\,
  and this symmetric group acts not only on $l$ but on all higher levels\, 
 and each level is acted on by all the symmetric groups on lower levels. Qu
 estions about the set theory can turn into questions about how these vario
 us actions interact\, and that is what I am going to talk about.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR