home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9365 < prev    next >
Encoding:
Internet Message Format  |  1992-07-21  |  1.5 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: <83962@netnews.upenn.edu>
  6. Date: 21 Jul 92 14:40:49 GMT
  7. References: <1992Jul16.152801.1538@Princeton.EDU> <1992Jul17.115108.8968@Princeton.EDU> <83554@netnews.upenn.edu> <1992Jul20.171849.17294@Princeton.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: 19
  12. Nntp-Posting-Host: sagi.wistar.upenn.edu
  13. In-reply-to: carabalo@phoenix.Princeton.EDU (David G. Caraballo)
  14.  
  15. In article <1992Jul20.171849.17294@Princeton.EDU>, carabalo@phoenix (David G. Caraballo) writes:
  16. >I still believe the above to be accurate.  I will state a slightly more 
  17. >powerful result (I do not have a reference, but I'm fairly sure it
  18. >is a result of Solovay's, probably in the mid 1960's.).
  19.  
  20. It's in the ANNALS OF MATHEMATICS, late 60s, if you want the original.
  21. Jech SET THEORY contains the proof also.
  22.  
  23. >                              Let M be the axiom 
  24. >"All subsets of R^n are measurable".  Then the following is true:
  25.  
  26. >   M is consistent with ZF and Countable Choice, but not with ZF and AC.
  27.  
  28. The first clause remains inaccurate and not interesting.  I won't repeat
  29. myself--an accurate subset of Solovay's theorem is in the posting of mine
  30. you replied to.
  31. -- 
  32. -Matthew P Wiener (weemba@sagi.wistar.upenn.edu)
  33.  
  34.