Banach spaces X with \(X^{**}\) separable (Q1097469)

The main result is: Theorem. Let X be an infinite-dimensional Banach space and Z a closed subspace of \(X^{**}\) such that \(X\subset Z\). Then, if \(X^{**}\) is separable, there exists a closed subspace Y of X with the following properties. (1) \(X\times \tilde Y=Z\) (\(\tilde Y\) the weak* closure of Y in \(X^{**})\) and (2) Y and X/Y are infinite-dimensional spaces. Some consequences of this theorem are given.