John's post was obviously not meant to be public, but here's a pointer anyway on the axiom of choice:
http://www.math.vanderbilt.edu/~schectex/ccc/choice.html
This archive was generated by hypermail 2b30 : Sat May 11 2002 - 17:44:23 MDT