Combining combinatorial methods from set theory with the functional structure of certain Banach spaces we get some results on the isomorphic structure of nonseparable Banach spaces. The conclusions of the paper, in conjunction with already known results, give complete answers to problems of the theory of Banach spaces. An interesting point here is that some questions of Banach spaces theory are independent of Z.F.C. So, for example, the answer to a conjecture of Pełczynski that states that the isomorphic embeddability of
L
1
{
−
1
,
1
}
α
{L^1}{\{ - 1,\,1\} ^\alpha }
into
X
∗
{X^{\ast }}
implies, for any infinite cardinal
α
\alpha
, the isomorphic embedding of
l
α
1
l_\alpha ^1
into
X
X
, gets the following form: if
α
=
ω
\alpha = \omega
, has been proved from Pełczynski; if
α
>
ω
+
\alpha > {\omega ^ + }
, the proof is given in this paper; if
α
=
ω
+
\alpha = {\omega ^ + }
, in
Z
.F
.C
.
+
C
.H
.
{\text {Z}}{\text {.F}}{\text {.C}}{\text {.}} + {\text {C}}{\text {.H}}{\text {.}}
, an example discovered by Haydon gives a negative answer; if
α
=
ω
+
\alpha = {\omega ^ + }
, in
Z
.F
.C
.
+
⌝
C
.H
.
+
M
.A
.
{\text {Z}}{\text {.F}}{\text {.C}}{\text {.}} + \urcorner {\text {C}}{\text {.H}}{\text {.}} + {\text {M}}{\text {.A}}{\text {.}}
, is also proved in this paper.