Fraenkel-Mostowski models are a particularly simple and conceptual tool for proving consistency results involving the axiom of choice, AC. These models satisfy the theory, FM, of a well founded universe of sets built from a ground set of individuals. Zermelo-Fraenkel set theory, ZF, is the extension of FM in which the set of individuals is assumed to be empty. In this paper we show that there is a large class of statements whose consistency with ZF can be proven directly by means of a Fraenkel-Mostowski model.
A statement, Φ, of set theory is said to be transferable if there is a metatheorem: If Φ is true in a Fraenkel-Mostowski model then Φ is consistent with ZF. Jech and Sochor introduced, in , the class of boundable statements and proved them to be transferable. Most existential contradictions of AC are boundable. It remains to find criteria under which Ψ ∧ Φ is transferable where Ψ is a universal consequence of AC and Φ is an existential contradiction of AC. To this end we give two classes of statements. Each class is closed under conjunction, contains the boundable statements, and contains a number of universal consequences of AC. Nearly every Fraenkel-Mostowski consistency in the literature falls into one of these two classes.
In §2 we give two generalizations of the boundable statements. In §§3 and 4 the classes of transferable statements are discussed. In §5 we discuss the transfer problem and prove a metatheorem concerning nontransferable statements.