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