Permutation models and SVC

DOI10.1305/NDJFL/1179323265MaRDI QIDQ2472610zbMATH OpenOpenAlexFDO

Authors Eric J. Hall

Publication date 22 February 2008

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

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

zbMATH Keywords

axiom of choicepermutation modelsZFA

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Recommendations

• Permutation models and topological groups
• A permutation model with finite partitions of the set of atoms as supports
• An extension of a permutative model of set theory
• A characterization of permutation models in terms of forcing
• Finiteness classes and small violations of choice

Cited in

(4)

• A characterization of permutation models in terms of forcing
• A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part
• Boolean-valued models of set theory with urelements
• Axiomatization and forcing in set theory with urelements

This page was built for publication: Permutation models and SVC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2472610)