A Characterization of Permutation Models in Terms of Forcing
A Characterization of Permutation Models in Terms of Forcing
We show that if N and M are transitive models of ZFA such that N $\subseteq$ M, N and M have the same kernel and same set of atoms, and M $\models$ AC, then N is a Fraenkel-Mostowski-Specker (FMS) submodel of M if and only if M is a generic …