Skip to main content

Calliope Ryan-Smith (University of Leeds)

Category
Sets Seminar
Date
Date
Wednesday 22 May 2024, 1.00 PM
Location
MALL
Category

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.