A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part
From MaRDI portal
Publication:1756492
DOI10.1007/s00153-018-0610-yzbMath1475.03097OpenAlexW2783058886MaRDI QIDQ1756492
Saharon Shelah, Paul B. Larson
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
Consistency and independence results (03E35) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)
Cites Work
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