[FOM] non-extensional models of set theory

Paul B Levy P.B.Levy at cs.bham.ac.uk
Wed Apr 1 11:18:07 EDT 2015

Dear all,

Is there a result in the literature along the following lines?

Given a model of ZF without Extensionality, its "extensional quotient" 
is a model of ZF including Extensionality.


Paul Blain Levy
School of Computer Science, University of Birmingham

More information about the FOM mailing list