[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



-- 
Paul Blain Levy
School of Computer Science, University of Birmingham
http://www.cs.bham.ac.uk/~pbl


More information about the FOM mailing list