ZFC+~Con(ZFC)

Article View: sci.logic

Article #198

#198

From: Timothy Y. Chow
Date: Sun, 16 Aug 1992 00:07

8 lines
907 bytes

Assuming ZFC is consistent, there are models of ZFC+~Con(ZFC).  Are such
models interesting?  Have they been studied?  Or to put it another way, are
there any interesting consequences of assuming that ZFC is INconsistent?
-- 
Tim Chow     tycchow@math.mit.edu
Where a calculator on the ENIAC is equipped with 18,000 vacuum tubes and weighs
30 tons, computers in the future may have only 1,000 vacuum tubes and weigh
only 1 1/2 tons.                               ---Popular Mechanics, March 1949

Technical Details

Message-ID: <1992Aug16.000726.5227@galois.mit.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!sol.ctr.columbia.edu!eff!snorkelwacker.mit.edu!galois!riesz!tycchow

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!usc!sol.ctr.columbia.edu!eff!snorkelwacker.mit.edu!galois!riesz!tycchow
From: tycchow@riesz.mit.edu (Timothy Y. Chow)
Subject: ZFC+~Con(ZFC)
Message-ID: <1992Aug16.000726.5227@galois.mit.edu>
Sender: news@galois.mit.edu
Nntp-Posting-Host: riesz
Organization: None.  This saves me from writing a disclaimer.
Date: Sun, 16 Aug 92 00:07:26 GMT
Lines: 8