Boundedly complete weak-Cauchy basic sequences in Banach spaces with the PCP

It is proved that every non-trivial weak-Cauchy sequence in a Banach space with the PCP (the Point of Continuity Property) has a boundedly complete basic subsequence. The following result, due independently to S. Bellenot and C. Finet, is then deduced as a corollary. If a Banach space X has separable dual and the PCP, then every non-trivial weak-Cauchy sequence in X has a subsequence spanning an order-one quasi-reflexive space. © 2007 Elsevier Inc. All rights reserved