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

by Larson and Shelah. [LrSh:1105]

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