Translator Disclaimer
2002 A Characterization of Permutation Models in Terms of Forcing
Eric J. Hall
Notre Dame J. Formal Logic 43(3): 157-168 (2002). DOI: 10.1305/ndjfl/1074290714

Abstract

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 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.

Citation

Download Citation

Eric J. Hall. "A Characterization of Permutation Models in Terms of Forcing." Notre Dame J. Formal Logic 43 (3) 157 - 168, 2002. https://doi.org/10.1305/ndjfl/1074290714

Information

Published: 2002
First available in Project Euclid: 16 January 2004

zbMATH: 1047.03037
MathSciNet: MR2032581
Digital Object Identifier: 10.1305/ndjfl/1074290714

Subjects:
Primary: 03E25, 03E35, 03E40

Rights: Copyright © 2002 University of Notre Dame

JOURNAL ARTICLE
12 PAGES


SHARE
Vol.43 • No. 3 • 2002
Back to Top