Paper: statement of main results (task 5)

Stream: Carleson

[Jasper Mulder-Sohn]

I have prepared a draft PR for the statement of the main results in the paper here: fpvandoorn/carleson#535
Let us use this thread to have an easier time discussing what should be in there or not.

From the PR:

---

Before putting more work into cleaning it up and a nice exposition, it would be nice to know if we are on the same page for what the 'main results' actually are.

I took it to mean:

• metric space Carleson
• linearised variant
• two-sided variant

and also included:

• classical Carleson
• the specific 'real Carleson' instance used to make the derivation

In order to properly state everything I included a section with the definitions.

If anything else should be added, or something removed, please let me know.