Article View: sci.logic
Article #173Re: ZFC+~Con(ZFC)
From: Richard Kennaway
Date: Wed, 26 Aug 1992 11:44
Date: Wed, 26 Aug 1992 11:44
12 lines
880 bytes
880 bytes
In article <1992Aug20.171630.18667@ariel.ec.usf.edu> Gregory McColm, mccolm@darwin.math.usf.edu. writes: >The standard (ie, wellfounded) models all satisfy Con(ZFC) Can someone clarify for me the term "standard model"? Is this a concept with a formal definition, or is a "standard model" of a theory, simply a model which satisfies the intuitions which inspired the axioms of the theory? -- Richard Kennaway SYS, University of East Anglia, Norwich NR4 7TJ, U.K. Internet: jrk@sys.uea.ac.uk uucp: ...mcsun!ukc!uea-sys!jrk
Technical Details
Message-ID:
<7160@charon.cwi.nl>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!cwi.nl!jrkReferences:
<1992Aug20.171630.18667@ariel.ec.usf.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!cwi.nl!jrk From: jrk@sys.uea.ac.uk (Richard Kennaway) Newsgroups: sci.logic Subject: Re: ZFC+~Con(ZFC) Message-ID: <7160@charon.cwi.nl> Date: 26 Aug 92 11:44:15 GMT References: <1992Aug20.171630.18667@ariel.ec.usf.edu> Sender: news@cwi.nl Lines: 12 Originator: jrk@sperwer.cwi.nl