IDEALS OVER UNCOUNTABLE SETS 15
which K = b*, and K carries a precipitous ideal.
As a last remark, we would like to point out an error we made in our
announcement , It is claimed there that existence of a precipitous ideal
implies existence of a normal one. Although this may as well be true, neither
of us two is presently able to prove this claim.