A model of ZFA+ PAC with no outer model of ZFAC with the same pure part

DOI10.1007/S00153-018-0610-YMaRDI QIDQ1756492zbMATH OpenOpenAlexFDO

Authors Paul Larson, S. Shelah

Publication date 14 January 2019

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-018-0610-y

zbMATH Keywords

axiom of choiceforcingset theory with atom

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25) Consistency and independence results (03E35)

Recommendations

• A characterization of permutation models in terms of forcing
• scientific article; zbMATH DE number 4185594
• ZF and the axiom of choice in some paraconsistent set theories
• Permutation models and SVC
• ZF + “Every set is the same size as a wellfounded set”

Cites work

• Combinatorial Set Theory
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• On automorphism groups of countable structures
• On the existence of atomic models
• Set Theory
• The axiom of choice

Cited in

(1)

• A characterization of permutation models in terms of forcing

This page was built for publication: A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part

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