Abstract. Let X be a subspace of the product of finitely many ordinals. If X is normal, then X is strongly zero-dimensional, collectionwise normal, and shrinking. The proof uses (κ 1 , . . . , κn)-stationary sets.
PreliminaryWe use (κ 1 , . . . , κ n )-stationary sets to prove the following theorem which extends results of Kemoto, Nogura, Smith, and Yajima in [4] and Stanley in [8]. (1) X is normal.(2) X is normal and strongly zero-dimensional.This theorem differs from the theorem of [4] in two ways. First, that theorem applies to subspaces of the product of two ordinals. Second, that theorem does not include "strongly zero-dimensional". Instead, the fourth condition asserts that nine types of pairs of closed sets are separated. For example, if (µ, ν) / ∈ X ⊆ λ 2 , then {(α, ν) ∈ X : α < λ} and {(µ, β) ∈ X : β < λ} are separated. Stanley's theorem asserts that if X is a normal subspace of the product of finitely many ordinals, then X is collectionwise Hausdorff. The condition that X is strongly zero-dimensional cannot be added to Theorem 1.1 because the paper [3] describes a subspace of ω + 1 × c which is not strongly zero-dimensional.First we define the notions in Theorem 1.1, and then introduce notation for tuples and products.