[FOM] Definable Sets in ZFC

[Dana Scott]

Recall that the axiom V = OD implies the Axiom of Choice (AC).

So, if not AC, then not all sets are in OD.  Let alpha be the least
ordinal with V_alpha not included in OD.  Let

	BAD = V_alpha - OD.

We thus have BAD as a definable set which is non-empty and has no
definable elements.  Hence the name "BAD".

     Prof. Dana S. Scott
     1149 Shattuck Avenue
     Berkeley, CA 94707-2609
     ------
     Tel: (510) 527-5287