Products of Michael spaces and completely metrizable spaces

For disjoint subsets A, C of [0, 1] the Michael space M(A, C) = A boolean O R C has the topology obtained by isolating the points in C and letting the points in A retain the neighborhoods inherited from [0, 1]. We study normal ity of the product of Michael spaces with complete metric spaces. There is a ZFC example of a Lindelof Michael space M(A, C), of minimal weight N-1, w ith M(A, C) x B(N-0) Lindelof but with M(A, C) x B(N-1) not normal. (B(N-al pha) denotes the countable product of a discrete space of cardinality N-alp ha.) If M(A) denotes M(A, [0, 1] \ A), the normality of M(A) x B(N-o) impli es the normality of M(A) x S for any complete metric space S (of arbitrary weight). However, the statement "M(A, C) x B(N-1) normal implies M(A, C) x B(N-2) normal" is axiom sensitive.