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