axiom of choice (was: Re: Hello from John in Alaska)

From: Damien Broderick (
Date: Thu Nov 29 2001 - 18:45:19 MST

John's post was obviously not meant to be public, but here's a pointer
anyway on the axiom of choice:

This archive was generated by hypermail 2b30 : Sat May 11 2002 - 17:44:23 MDT