Note on the Eilenberg-Moore spectral sequence (Q580773)

The author constructs the Eilenberg-Moore spectral sequence for nice generalized homology theories such as the Morava K-theories, \(K(n)_*(\quad)\). His approach dualizes the Künneth spectral sequence approach used by \textit{L. Smith} [Math. Z. 116, 94-140 (1970; Zbl 0189.544)]. The author's work leads to a geometric boundary theorem for the Eilenberg-Moore spectral sequence analogous to that for the Adams spectral sequence. (See Theorem 2.3.4 in the book by \textit{D. C. Ravenel} [Complex cobordism and stable homotopy groups of spheres (1986; Zbl 0608.55001)].)