A group-theoretic question arising in Typed set theory
- đ¤ Speaker: Thomas Forster (University of Cambridge)
- đ Date & Time: Friday 26 January 2018, 14:00 - 15:00
- đ Venue: CMS, MR13
Abstract
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 set 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. Questions about the set theory can turn into questions about how these various actions interact, and that is what I am going to talk about.
Series This talk is part of the Geometric Group Theory (GGT) Seminar series.
Included in Lists
- All CMS events
- bld31
- CMS Events
- CMS, MR13
- DPMMS info aggregator
- Geometric Group Theory (GGT) Seminar
- Hanchen DaDaDash
- Interested Talks
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)


Friday 26 January 2018, 14:00-15:00