[FOM] Is ZF interpretable in ZF minus extensionality plus X inaccessibles?
Frode Bjørdal
frode.bjordal at ifikk.uio.no
Tue Nov 22 16:08:42 EST 2011
As I understand it ZF is not interpretable in ZF minus extensionality;
a reference here is Scott, D., "More on the Axiom of Extensionality,"
pp. 115-131 in Essays on the Foundations of Mathematics, edited by Y.
Bar-Hillel, et al., Hebrew University, Jerusalem, 1966.
Does someone know if ZF is interpretable in ZF minus extensionality
plus some amount of inaccessibles? If it is, what is the lowest amount
needed?
--
Frode Bjørdal
Professor i filosofi
IFIKK, Universitetet i Oslo
www.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
More information about the FOM
mailing list