FOM: epsilon terms and choice

[Kanovei]

> Date: Sat, 16 Sep 2000 11:02:55 +0100 
> From: "V. Yu. Shavrukov" <vys1 at mcs.le.ac.uk>
 
> I am not quite sure what you mean by `ZFC + Global Choice'
> in the first sentence.  Is it  GB + GC, or
> ZFC + schema: definable classes exist + GC
> (+ extensionality for classes),  or something else?

ZFGC is a theory in the language including =, \in, and G, 
an atomic functional symbol, 
the axioms of ZFGC include all of ZFC (G is allowed to occur 
in the schemata) and the axiom saying that if x is a non-0 set 
then G(x) is defined and belongs to x. 
 
V.Kanovei