home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19234 < prev    next >
Encoding:
Text File  |  1992-11-19  |  1.9 KB  |  42 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!mcsun!sunic!aun.uninett.no!nuug!nntp.uio.no!news
  3. From: rivero <rivero@cc.unizar.es>
  4. Subject: Re: Lowenheim-Skolem theorem (was: Continuos vs. discrete models)
  5. Message-ID: <1992Nov19.172844.17787@ulrik.uio.no>
  6. X-Xxdate: Thu, 19 Nov 92 18:26:16 GMT
  7. Sender: news@ulrik.uio.no (Mr News)
  8. Nntp-Posting-Host: 155.210.147.31
  9. Organization: fisica teorica UZ
  10. X-Useragent: Nuntius v1.1.1d12
  11. References: <1992Nov17.124233.24312@oracorp.com> <361@mtnmath.UUCP> <TORKEL.92Nov18193457@bast.sics.se> <COLUMBUS.92Nov19105153@strident.think.com>
  12. Date: Thu, 19 Nov 1992 17:28:44 GMT
  13. Lines: 27
  14.  
  15. In article <COLUMBUS.92Nov19105153@strident.think.com> Michael Weiss,
  16. columbus@strident.think.com writes:
  17. >Assuming one could axiomatize, say, QED as a consistent first-order theory
  18. >(insert obligatory comment by John Baez on how this hasn't been done yet--
  19. >that is, the combination of defining the formal system QED and proving
  20. >Con(ZF)-->Con(QED) hasn't been carried out), it follows that there is a
  21. >countable model that looks EXACTLY LIKE the continous model, so far as
  22. >statements we can make in the language of the theory.  And if the
  23. >axiomatization is worthy of the name, then such statements are all a
  24. >physicist cares about.  Metamathematics is metaphysics, in this case.
  25.  
  26.  
  27. Wasnt L-H theorem the kind of things that let you go in both directions?
  28. This is, given a model, you can get ones with lower cardinality, and
  29. others with higher. 
  30. I think to remember that you can always go higher by using 
  31. Los theorem, ultraproducts, or something so?. This was the thing
  32. Robinson did to go over no-standard (*), is this? 
  33.  
  34. (Sorry by the quantity of question marks, but Metamatematical Physics
  35. is always a peripherical issue)
  36.  
  37. -Alejandro Rivero
  38. Zaragoza Univ, Spain
  39.  
  40. (*) In this sense ,there was some papers from S. Albeverio relating
  41. non standard constructions and path integral integrations etc...
  42.