An extension of a permutative model of set theory (Q2919602)

Fraenkel-Mostowski permutation models of set theory were introduced to show the independence of the axiom of choice from Zermelo-Fraenkel set theory with atoms. The authors discuss a generalization of Fraenkel-Mostowski (FM) models, called extended Fraenkel-Mostowski (EFM) models, in which the finite support property of FM models (saying that, given any set \(x\), there is a finite set \(S\) of atoms such that any permutation of the atoms which fixes \(S\) pointwise also fixes \(x\)) is replaced by the weaker requirement that any subset of the atoms is either finite or cofinite. They show that EFM models still share some properties with FM models, e.g., the permutation group of the atoms is a torsion group and all of its finitely generated subgroups are finite.