I will develop basics of the theory of permutation models of set theory with emphasis on the dialog between their internal features and dynamical properties of the underlying group action. There are many novel, clean theorems connecting fragments of the axiom of choice with group theory and dynamics. As an initial example, if the acting group is abelian, in the resulting permutation model every set is a union of a well-orderable collection of well-orderable sets.
Group dynamics and models of ZF
15.06.2023 15:00 - 15:50
Organiser:
KGRC
Location: