For what kind of topological vector spaces (separable maybe?) are the closed convex subsets countable intersections of halfspaces.
I've seen somewhere that it's true for separable Hilbert spaces, but without proof or reference. Is there a reference on this fact (and related questions)?