THE EILENBERG–MOORE SPECTRAL SEQUENCE IN K-THEORY

We construct the Eilenberg–Moore spectral sequence for some generalized cohomology theories, along the lines of Smith and Hodgkin. We prove its multiplicativity and give some sufficient conditions for its convergence to the desired target. As applications, we compute the K-theory of various spaces associated to p-compact groups.