# FOM: epsilon terms and choice

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

V.Kanovei

`

More information about the FOM mailing list