University of Cambridge > Talks.cam > Geometric Group Theory (GGT) Seminar > A group-theoretic question arising in Typed set theory

A group-theoretic question arising in Typed set theory

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity