@AaronMazel-Gee The titles of the first two of those talks sound very similar to a talk I heard Jacob give once. Someone asked me about the talk when it was still fresh in my mind and this is the summary I emailed back:
Jacob didn't assume the audience knew about Morava K theory, so that took up the vast
majority of the time. He worked his way up to the statement of the
following theorem:
Theorem. Let X be p-finite (finitely many nonzero homotopy groups, each
of which is a finite p-group). Then:
Jacob didn't assume the audience knew about Morava K theory, so that took up the vast
majority of the time. He worked his way up to the statement of the
following theorem:
Theorem. Let X be p-finite (finitely many nonzero homotopy groups, each
of which is a finite p-group). Then: