I have added a brief paragraph “Lurie theorem” with the rough statement of theorem 4.1 in the Survey.

For completeness of cross-references I have added the same paragraph also to *derived elliptic curve* and to *moduli stack of elliptic curves*.

Of course this deserves to be expanded.

]]>I have expanded a bit the previous stub entry *Goerss-Hopkins-Miller theorem*. It’s still stubby, but less so.

I have added

more of the pertinent references;

an actual Idea-section

the statement of the Hopkins-Miller theorem in the version as it appears in Charles Rezk’s notes.

Maybe this feeble step forward inspires Aaron to add more… :-)

]]>