home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19296 < prev    next >
Encoding:
Internet Message Format  |  1992-11-20  |  1.2 KB
  1. Path: sparky!uunet!sun-barr!olivea!spool.mu.edu!sol.ctr.columbia.edu!ira.uka.de!uni-heidelberg!lauren!gsmith
  2. From: gsmith@lauren.iwr.uni-heidelberg.de (Gene W. Smith)
  3. Newsgroups: sci.physics
  4. Subject: Re: Lowneheim-Skolem theorem (was: Continuos vs. discrete models)
  5. Message-ID: <1992Nov20.134839.4436@sun0.urz.uni-heidelberg.de>
  6. Date: 20 Nov 92 13:48:39 GMT
  7. References: <1992Nov17.124233.24312@oracorp.com> <1992Nov18.133219.6664@sei.cmu.edu>
  8. Sender: news@sun0.urz.uni-heidelberg.de (NetNews)
  9. Organization: IWR, University of Heidelberg, Germany
  10. Lines: 18
  11.  
  12. In article <1992Nov18.133219.6664@sei.cmu.edu> firth@sei.cmu.edu
  13. (Robert Firth) writes:
  14.  
  15.  
  16. >Necessary, but not, I fear, sufficient.  If you are to replace the
  17. >continuum with a *single* discrete manifold, then you must show that,
  18. >for any uncountable set with certain properties, there exists a
  19. >*single* countable set with all the same properties.
  20.  
  21. What does countability have to do with continuity anyway?  Suppose I
  22. define my manifolds over the recursive reals.  These are dense, and so
  23. support continuous functions, but are also countable.
  24.  
  25.  
  26.  
  27. -- 
  28.      Gene Ward Smith/Brahms Gang/IWR/Ruprecht-Karls University 
  29.                gsmith@kalliope.iwr.uni-heidelberg.de
  30.