The Fraenkel-Mostowski method, revisited (Q913787)

The main result of this paper asserts that Fraenkel-Mostowski models with isomorphic topological automorphism groups satisfy the same Boolean combinations of Jech-Sochor boundable statements. This is illustrated by the following characterization of the group \(J_ p\) of the p-adic integers: If a Fraenkel-Mostowski model M is generated by a monothetic group, then it is generated by a finite product of different \(J_ p's\) if and only if in M wellorderable families of nonempty sets admit a selection function (choosing proper nonempty subsets). The main result does not apply to first-order statements, as is shown by the following example. The finite support property of Fraenkel-Mostowski models can be expressed as a first-order sentence and each group-generated Hausdorff topological group generates a model with the finite support property.