Eberlein compact (P91) needs elaboration

[felixpernegger]

There should be some note of what a $\Sigma^*$ product is, otherwise it is not clear what the definition means for the average reader. Googling gives a different (but I suppose equivalent) definition with banach spaces.

We also do not have a counterexample to T220 (Eberlein compact => Corson compact), if anyone knows one, this would be very nice to have. (as right now Corson compact iff Eberlein compact for all spaces)

[Moniker1998]

In Handbook of set-theoretic topology, article Banach spaces and topology by Negropontis, theorem 6.55 gives an example, but it looks hard

[felixpernegger]

The german wikipedia page (the english one doesnt) offers a "topological characterisation" for eberlein compact, which would be good to add https://de.wikipedia.org/wiki/Eberlein-kompakter_Raum

[Moniker1998]

https://www.numdam.org/article/CM_1974__28_1_83_0.pdf
Theorem 3.1