Let k be an imaginary quadratic number field with Ck,2, the 2-Sylow subgroup of its ideal class group Ck, of rank 4. We show that k has infinite 2-class field tower for particular families of fields k, according to the 4-rank of Ck, the Kronecker symbols of the primes dividing the discriminant ∆k of k, and the number of negative prime discriminants dividing ∆k. In particular we show that if the...