Calliope Ryan-Smith (University of Leeds)
- Date
- Wednesday 22 May 2024, 1.00 PM
- Location
- MALL
- Category
- Sets Seminar
Dividing lines for permutation models
Permutation models are models of ZFA (ZF with atoms) that are built from sets that are 'symmetric enough' with respect to a group action on the set of atoms. In the case that this group action is a closed permutation group---that is, the automorphism group of a first-order structure---one can analyse the preservation of choice principles through the tameness of the structure. I shall exhibit examples of this behaviour.