home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1265 < prev    next >
Encoding:
Text File  |  1992-08-15  |  1.1 KB  |  24 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!cs.utexas.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!usenet.ucs.indiana.edu!zuni!dabrowsa
  3. From: dabrowsa@zuni.ucs.indiana.edu (Andrew Dabrowski)
  4. Subject: Re: ZFC+~Con(ZFC)
  5. Message-ID: <Bt1xnE.9Mr@usenet.ucs.indiana.edu>
  6. Summary: Nonstandard arithmetic
  7. Sender: news@usenet.ucs.indiana.edu (USENET News System)
  8. Nntp-Posting-Host: zuni.ucs.indiana.edu
  9. Organization: UCS, Indiana University, Bloomington, IN
  10. References: <1992Aug16.000726.5227@galois.mit.edu>
  11. Date: Sun, 16 Aug 1992 01:04:25 GMT
  12. Lines: 10
  13.  
  14. If a model satisfies ~Con(ZFC) then it must actually contain some object
  15. which it thinks is a natural number coding a proof of 1=0, say.  This
  16. object cannot be a standard natural number, or it would mean ZFC really is
  17. inconsistent, so it must be a nonstandard number.  Hence such a structure
  18. models nonstandard arithmetic.  I don't know of any systematic treatment
  19. of models obtained this way, though.
  20.  
  21. Andrew Dabrowski            Try again.  Fail again.  Fail better.
  22. dabrowsa@ucs.indiana.edu        -Worstward Ho
  23. Indiana U/Bloomington             Samuel Beckett
  24.