A characterization of permutation models in terms of forcing

DOI10.1305/ndjfl/1074290714zbMath1047.03037OpenAlexW1994055707MaRDI QIDQ1430902

Eric J. Hall

Publication date: 27 May 2004

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1074290714

zbMATH Keywords

axiom of choiceZFApermutation model

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Cites Work

• The Fraenkel-Mostowski method, revisited
• Permutation models and topological groups
• Intermediate submodels and generic extensions in set theory
• Injectivity, Projectivity, and the Axiom of Choice
• Limitations on the Fraenkel-Mostowski method of independence proofs
• Freyd’s models for the independence of the axiom of choice
• The axiom of choice

This page was built for publication: A characterization of permutation models in terms of forcing