James sequences and Dependent Choices

We prove James's sequential characterization of (compact) reflexivity in set‐theory ZF + DC, where DC is the axiom of Dependent Choices. In turn, James's criterion implies that every infinite set is Dedekind‐infinite, whence it is not provable in ZF. Our proof in ZF + DC of James' cri...

Full description

Saved in:
Bibliographic Details
Published in:Mathematical logic quarterly 2005-02, Vol.51 (2), p.171-186
Main Author: Morillon, Marianne
Format: Article
Language:English
Subjects:
Axiom of Choice
Dependent Choices
James' criterion
reflexive Banach space
weak topology
well-founded tree
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We prove James's sequential characterization of (compact) reflexivity in set‐theory ZF + DC, where DC is the axiom of Dependent Choices. In turn, James's criterion implies that every infinite set is Dedekind‐infinite, whence it is not provable in ZF. Our proof in ZF + DC of James' criterion leads us to various notions of reflexivity which are equivalent in ZFC but are not equivalent in ZF. We also show that the weak compactness of the closed unit ball of a (simply) reflexive space does not imply the Boolean Prime Ideal theorem : this solves a question raised in [6]. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.200410017