home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1289 < prev    next >
Encoding:
Text File  |  1992-08-19  |  1.3 KB  |  32 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!caen!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!wjcastre
  3. From: wjcastre@magnus.acs.ohio-state.edu (W.Jose Castrellon G.)
  4. Subject: Re: Non-standard integers.
  5. Message-ID: <1992Aug19.152630.8969@magnus.acs.ohio-state.edu>
  6. Sender: news@magnus.acs.ohio-state.edu
  7. Nntp-Posting-Host: bottom.magnus.acs.ohio-state.edu
  8. Organization: The Ohio State University,Math.Dept.(studnt)
  9. References: <16rh2nINN6og@agate.berkeley.edu> <1992Aug19.172922.410@csc.canterbury.ac.nz> <1992Aug19.151419.8835@magnus.acs.ohio-state.edu>
  10. Date: Wed, 19 Aug 1992 15:26:30 GMT
  11. Lines: 19
  12.  
  13. In article <1992Aug19.151419.8835@magnus.acs.ohio-state.edu> I write:
  14.  
  15. >In article <1992Aug19.172922.410@csc.canterbury.ac.nz> wft@math.canterbury.ac.nz (Bill Taylor) writes:
  16.  
  17. >>
  18. >>...at first it wasn't clear to me that every nonstandard model would have
  19. >>such an  n .  But I suppose this can be seen by taking any odd nonstandard k,
  20. >>and forming  n = k(k-2)(k-4)(k-6).....  .
  21. ...
  22. >>
  23. >>Presumably this operation can be made legitimate in some simple way ?
  24.  
  25. >
  26. >Yes, by Godel coding, but n will necessarily be divisible by some non-standard
  27. >naturals.
  28.  
  29. Here I should have said n will be equal to the product of k's odd predecessors
  30. in  k's  _row_ and other numbers not in  k's  row.
  31. WJCG
  32.