home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / math / 14755 < prev    next >
Encoding:
Internet Message Format  |  1992-11-10  |  790 b 

  1. Path: sparky!uunet!europa.asd.contel.com!emory!ogicse!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: Axioms of set theory, infinity and R. Rucker
  5. Message-ID: <ARA.92Nov11024751@camelot.ai.mit.edu>
  6. Date: 11 Nov 92 07:47:51 GMT
  7. Article-I.D.: camelot.ARA.92Nov11024751
  8. References: <1992Nov6.133138.16642@prl.philips.nl> <96652@netnews.upenn.edu>
  9. Sender: news@mintaka.lcs.mit.edu
  10. Organization: M.I.T. Artificial Intelligence Lab.
  11. Lines: 7
  12. In-Reply-To: weemba@sagi.wistar.upenn.edu's message of 8 Nov 92 15:43:45 GMT
  13.  
  14. What is the reference to this recent work of Matiyasevich and Jones?
  15.  
  16. Also, I've never understood what a supercompact cardinal is. Would you
  17. like to explain the concept?
  18.  
  19. Allan Adler
  20. ara@altdorf.ai.mit.edu
  21.