Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sun, 26 Mar 1995 18:37:02 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA280348658;
          Sun, 26 Mar 1995 10:24:18 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from vega.anu.edu.au by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA280308654;
          Sun, 26 Mar 1995 10:24:14 -0700
Received: (from mcn@localhost) by vega.anu.edu.au (8.6.11/8.6.9) id DAA00249 
          for info-hol@leopard.cs.byu.edu; Mon, 27 Mar 1995 03:22:15 +1000
Date: Mon, 27 Mar 1995 03:22:15 +1000
From: Malcolm Newey <Malcolm.Newey@cs.anu.edu.au>
Message-Id: <199503261722.DAA00249@vega.anu.edu.au>
To: info-hol@leopard.cs.byu.edu
Subject: Re: HOL sets
X-Sun-Charset: US-ASCII


Errata:
	I rushed off the note about Chou's theorem without checking my
memory, so got it wrong.  Unique existence of the lifting operator does
not apply.  That which exists uniquely, in the case of an ACI operator op
with identity id,  is the corresponding lifted operator (OP op id), for
any choice of lifting operator, OP.

Sorry Folks,
Malcolm