home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1309 < prev    next >
Encoding:
Internet Message Format  |  1992-08-26  |  857 b 
  1. Path: sparky!uunet!mcsun!sun4nl!cwi.nl!jrk
  2. From: jrk@sys.uea.ac.uk (Richard Kennaway)
  3. Newsgroups: sci.logic
  4. Subject: Re: ZFC+~Con(ZFC)
  5. Message-ID: <7160@charon.cwi.nl>
  6. Date: 26 Aug 92 11:44:15 GMT
  7. References: <1992Aug20.171630.18667@ariel.ec.usf.edu>
  8. Sender: news@cwi.nl
  9. Lines: 12
  10. Originator: jrk@sperwer.cwi.nl
  11.  
  12. In article <1992Aug20.171630.18667@ariel.ec.usf.edu> Gregory McColm,
  13. mccolm@darwin.math.usf.edu. writes:
  14. >The standard (ie, wellfounded) models all satisfy Con(ZFC)
  15.  
  16. Can someone clarify for me the term "standard model"?  Is this a concept
  17. with a formal definition, or is a "standard model" of a theory, simply a
  18. model which satisfies the intuitions which inspired the axioms of the
  19. theory?
  20.  
  21. --
  22. Richard Kennaway     SYS, University of East Anglia, Norwich NR4 7TJ, U.K.
  23. Internet:  jrk@sys.uea.ac.uk               uucp:  ...mcsun!ukc!uea-sys!jrk
  24.