[FOM] Seeking a citation for ZF[0]

Zach McKenzie z.mckenzie at dpmms.cam.ac.uk
Wed Jul 25 13:28:30 EDT 2012

Dear Colin,

I think that in "Weak Systems of Gandy, Jensen and Devlin" Adrian Mathias 
shows that this is a theorem of something weaker than ZF[0].

Best wishes,

----- Original Message ----- 
From: "Colin McLarty" <colin.mclarty at case.edu>
To: "Foundations of Mathematics" <fom at cs.nyu.edu>
Sent: Wednesday, July 25, 2012 2:11 PM
Subject: [FOM] Seeking a citation for ZF[0]

> Is there a good citation for a proof that ZF[0] (which is Zermelo
> Fraenkel without the power set axiom) proves every set has a set of
> all its finite subsets?
> thanks, Colin
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list