home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9351 < prev    next >
Encoding:
Internet Message Format  |  1992-07-20  |  1.4 KB
  1. Path: sparky!uunet!gatech!bloom-beacon!eru.mt.luth.se!lunic!sunic!sics.se!sics.se!torkel
  2. From: torkel@sics.se (Torkel Franzen)
  3. Newsgroups: sci.math
  4. Subject: Re: Stupid question about FLT
  5. Message-ID: <1992Jul21.085126.11887@sics.se>
  6. Date: 21 Jul 92 08:51:26 GMT
  7. References: <1992Jul18.005818.8468@infodev.cam.ac.uk>
  8.     <1992Jul18.212618.15509@mixcom.com> <1992Jul18.224827.2167@sics.se>
  9.     <1992Jul20.035836.4789@mixcom.com> <1992Jul20.080932.24570@sics.se>
  10.     <MARTIN.92Jul20172809@lyra.cis.umassd.edu>
  11. Sender: news@sics.se
  12. Organization: Swedish Institute of Computer Science, Kista
  13. Lines: 14
  14. In-Reply-To: martin@lyra.cis.umassd.edu's message of 20 Jul 92 22:28:09 GMT
  15.  
  16. In article <MARTIN.92Jul20172809@lyra.cis.umassd.edu> 
  17. martin@lyra.cis.umassd.edu (Gary Martin) writes:
  18.  
  19.    >"Exactly like" in this context means "elementarily equivalent", not
  20.    >"isomorphic".
  21.  
  22.   I might have assumed that the term "exactly like", which has no
  23. standard mathematical definition, here meant "elementarily eqivalent",
  24. had not the original author gone on to say that "in particular, there
  25. are always models containing natural numbers which are not represented
  26. by any terms of the language."  So, whatever the original intention,
  27. I believe it should be pointed out, so as not to mislead anybody,
  28. that any consistent first order extension of PA will have models containing
  29. individuals not represented by any terms of the language.
  30.