A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We show that if N and M are transitive models of ZFA such that N ⊆ M , N and M have the same kernel and same set of atoms, and M |=AC, then N is a Frankel-Mostowski-Specker (FMS) submodel of M if and only if M is a generic extension of N by some almost homogeneous notion of forcing. We also develop a slightly modified notion of FMS submodels to characterize the case where M is a generic extension of N not necessarily by an almost homogeneous notion of forcing.doi:10.1305/ndjfl/1074290714 fatcat:ybvrvad4cjbw3npspyzebcm3i4