### A model of $\mathsf{ZFA}$ with no outer model of $\mathsf{ZFAC}$ with the same pure part

by Larson and Shelah. [LrSh:1105]

Archive for Math Logic, 2018

We produce a model of mathsf {ZFA} + mathsf {PAC} such that
no outer model of mathsf {ZFAC} has the same pure sets, answering
a question asked privately by Eric Hall.

Back to the list of publications