[FOM] Seeking a citation for ZF[0]

[Zach McKenzie]

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,
Zach.

----- 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
>