When does the Haver property imply selective screenability?

We point out that in metric spaces Haverʹs property is not equivalent to the property introduced by Addis and Gresham. We prove that they are equal when the space has the Hurewicz property. We prove several results about the preservation of Haverʹs property in products. We show that if a separable metric space has the Haver property, and the nth power has the Hurewicz property, then the nth power has the Addis–Gresham property. R. Pol showed earlier that this is not the case when the Hurewicz property is replaced by the weaker Menger property. We introduce new classes of weakly infinite dimensional spaces.