home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9366 < prev    next >
Encoding:
Internet Message Format  |  1992-07-21  |  1.7 KB
  1. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!jvnc.net!netnews.upenn.edu!sagi.wistar.upenn.edu
  2. From: weemba@sagi.wistar.upenn.edu (Matthew P Wiener)
  3. Newsgroups: sci.math
  4. Subject: Re: Cardinarity of a Borel field--antichoice version
  5. Message-ID: <83967@netnews.upenn.edu>
  6. Date: 21 Jul 92 14:46:44 GMT
  7. References: <1992Jul16.152801.1538@Princeton.EDU> <1992Jul17.115108.8968@Princeton.EDU> <83554@netnews.upenn.edu> <1992Jul20.171849.17294@Princeton.EDU> <ARA.92Jul20200638@camelot.ai.mit.edu>
  8. Sender: news@netnews.upenn.edu
  9. Reply-To: weemba@sagi.wistar.upenn.edu (Matthew P Wiener)
  10. Organization: The Wistar Institute of Anatomy and Biology
  11. Lines: 23
  12. Nntp-Posting-Host: sagi.wistar.upenn.edu
  13. In-reply-to: ara@zurich.ai.mit.edu (Allan Adler)
  14.  
  15. In article <ARA.92Jul20200638@camelot.ai.mit.edu>, ara@zurich (Allan Adler) writes:
  16. >Solovay remarks that it is known that the theory ZFC+I has a transitive
  17. >\epsilon-model if ZF+DC+P does (J.Nycielski, "On the Axiom of Determinateness")
  18. >This by itself seems to be quite striking.
  19.  
  20. I believe that name is Mycielski.
  21.  
  22. >He goes on to write: "However it does seem likely that the existence of a
  23. >transitive  model of ZF+DC+LM is a consequence, in ZFC, of the existence
  24. >of a transitive model of ZFC".
  25.  
  26. As it turned out, Shelah showed this to be false--the inaccessible is
  27. required.
  28.  
  29. >Thus, Solovay seems not to be claiming a proof of the assertion which David
  30. >is attributing to him. Instead, he is stating that he believes it is true
  31. >but does not have a proof.
  32.  
  33. David's version was inaccurate, yes, but he didn't make any claims true or
  34. false regarding the converse consistency result--the above does not refer.
  35. -- 
  36. -Matthew P Wiener (weemba@sagi.wistar.upenn.edu)
  37.  
  38.