Calliope Ryan-Smith (University of Leeds)

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.