home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18599 < prev    next >
Encoding:
Internet Message Format  |  1993-01-21  |  1.2 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!not-for-mail
  2. From: edgar@math.ohio-state.edu (Gerald Edgar)
  3. Newsgroups: sci.math
  4. Subject: Re: Non-Standard Analysis and philosophy
  5. Date: 21 Jan 1993 16:04:47 -0500
  6. Organization: The Ohio State University, Dept. of Math.
  7. Lines: 19
  8. Message-ID: <1jn35fINNcv4@function.mps.ohio-state.edu>
  9. References: <1993Jan21.180359.21766@ulrik.uio.no>
  10. NNTP-Posting-Host: function.mps.ohio-state.edu
  11.  
  12. In article <1993Jan21.180359.21766@ulrik.uio.no> solan@smaug.uio.no (Svein Olav G. Nyberg) writes:
  13. >
  14. >Under which philosophies of mathematics is non-standard
  15. >analysis possible, and to what extent?
  16.  
  17. Here is an answer to a guess at what is meant by the question:
  18.  
  19. Robinson's nonstandard analysis is "equivalent" to the Boolean algebra
  20. prime ideal theorem.  It is a consequence of the axiom of choice, but
  21. does not imply the axiom of choice.  I found this in an old paper
  22. of W. A. J. Luxemburg.
  23.  
  24.  
  25.  
  26. -- 
  27.   Gerald A. Edgar                Internet:  edgar@mps.ohio-state.edu
  28.   Department of Mathematics      Bitnet:    EDGAR@OHSTPY
  29.   The Ohio State University      telephone: 614-292-0395 (Office)
  30.   Columbus, OH 43210             -292-4975 (Math. Dept.) -292-1479 (Dept. Fax)
  31.