[FOM] Global choice and ZF

[T.Forster@dpmms.cam.ac.uk]

Am i right in thinking that ZF + V = HOD is the theory of the set-part of a 
model of NGB+globalchoice?

   tf