home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9719 < prev    next >
Encoding:
Internet Message Format  |  1992-07-31  |  823 b 
  1. Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!mips!swrinde!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!yale!mintaka.lcs.mit.edu!zurich.ai.mit.edu!ara
  2. From: ara@zurich.ai.mit.edu (Allan Adler)
  3. Newsgroups: sci.math
  4. Subject: Re: Is this game determined?
  5. Message-ID: <ARA.92Jul31154834@camelot.ai.mit.edu>
  6. Date: 31 Jul 92 20:48:33 GMT
  7. Sender: news@mintaka.lcs.mit.edu
  8. Distribution: sci
  9. Organization: M.I.T. Artificial Intelligence Lab.
  10. Lines: 10
  11.  
  12.  
  13. A few respondents have suggested that the axiom schema  I proposed is
  14. equivalent to the axiom of choice.
  15.  
  16. Can someone propose similar classes of games equivalent to each of the variants
  17. of the axiom of  choice? For example, the axiom of choice for 2 element sets
  18. or n element sets or the countable axiom  of choice or dependent choice?
  19.  
  20. Allan Adler
  21. ara@altdorf.ai.mit.edu
  22.