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