Countable Dimensionality, a Game and the Haver Property

We characterize the countable dimensionality of metric spaces in terms of a game-theoretic version of a covering property of Haver, and conjecture a game-theoretic equivalent of Haver’s covering property for metric spaces