EN
This paper is concerned with the isomorphic structure of the Banach space $ℓ_{∞}/c₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that $ℓ_{∞}/c₀$ does not have an orthogonal $ℓ_{∞}$-decomposition, that is, it is not of the form $ℓ_{∞}(X)$ for any Banach space X. The main local result is that it is consistent that $ℓ_{∞}(c₀(𝔠))$ does not embed isomorphically into $ℓ_{∞}/c₀$, where 𝔠 is the cardinality of the continuum, while $ℓ_{∞}$ and c₀(𝔠) always do embed quite canonically. This should be compared with the results of Drewnowski and Roberts that under the assumption of the continuum hypothesis $ℓ_{∞}/c₀$ is isomorphic to its $ℓ_{∞}$-sum and in particular it contains an isomorphic copy of all Banach spaces of the form $ℓ_{∞}(X)$ for any subspace X of $ℓ_{∞}/c₀$.