Commutative algebra in stable homotopy theory and a completion theorem (Q1901651)

This paper surveys recent work in constructing a category of spectra that has all limits and colimits and also has a strictly associative and commutative smash product. Applications include new constructions of basic spectra, new generalized universal coefficient and Künneth spectral sequences, and a new construction of topological Hochschild homology. The theory works equivariantly, where it allows the construction of equivariant versions of Brown-Peterson, Morava K-theory, and other module spectra over MU. Many theorems are stated, but there is no hint of proof or where the proofs might be found. Also, the paper seems to give no details about the construction of this category of spectra.