Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Wed, 17 Feb 1993 13:18:40 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA21963;
          Wed, 17 Feb 93 05:11:11 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from moa.pmms.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA21958;
          Wed, 17 Feb 93 05:11:03 -0800
Received: by moa.pmms.cam.ac.uk (UK-Smail 3.1.25.1/1); Wed, 17 Feb 93 13:09 GMT
Message-Id: <m0nOoWe-0000bzC@moa.pmms.cam.ac.uk>
Date: Wed, 17 Feb 93 13:09 GMT
From: Thomas Forster <T.Forster@uk.ac.cam.pmms>
To: chou@edu.ucla.cs, info-hol@edu.uidaho.cs.ted
Subject: Re: power of HOL

NOT ZFC, emphatically not!  Zermelo is as strong as HOL. That is
what is, as it were, obvious.  I'd have to think about the
converse.  It looks plausible.
        tf