A group-theoretic question arising in Typed set theory

Add to your list(s) Download to your calendar using vCal

• Thomas Forster (University of Cambridge)
• Friday 26 January 2018, 14:00-15:00
• CMS, MR13.

If you have a question about this talk, please contact Maurice Chiodo.

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.

This talk is part of the Geometric Group Theory (GGT) Seminar series.

This talk is included in these lists:

• All CMS events
• CMS Events
• CMS, MR13
• DPMMS info aggregator
• Geometric Group Theory (GGT) Seminar
• Hanchen DaDaDash
• Interested Talks
• bld31

Note that ex-directory lists are not shown.