May-Thomason Uniqueness Theorem

For every infinite Loop Space Machine $E$, there is a natural equivalence of spectra between $EX$ and Segal's spectrum ${\bf B}X$.

References

May, J. P. and Thomason, R. W. ``The Uniqueness of Infinite Loop Space Machines.'' Topology 17, 205-224, 1978.

Weibel, C. A. ``The Mathematical Enterprises of Robert Thomason.'' Bull. Amer. Math. Soc. 34, 1-13, 1996.