FOM: epsilon terms and choice
kanovei at wmwap1.math.uni-wuppertal.de
Sun Sep 24 06:11:04 EDT 2000
> 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.
More information about the FOM