Order:
  1.  12
    Infinite Projection Properties.Christian Delhommé - 1998 - Mathematical Logic Quarterly 44 (4):481-492.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  10
    The Length of an Intersection.Christian Delhommé & Maurice Pouzet - 2017 - Mathematical Logic Quarterly 63 (3-4):243-255.
    A poset math formula is well-partially ordered if all its linear extensions are well orders; the supremum of ordered types of these linear extensions is the length, math formula of p. We prove that if the vertex set X is infinite, of cardinality κ, and the ordering ⩽ is the intersection of finitely many well partial orderings math formula of X, math formula, then, letting math formula, with math formula, denote the euclidian division by κ of the length of each (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Dependent Choices and Weak Compactness.Christian Delhommé & Marianne Morillon - 1999 - Notre Dame Journal of Formal Logic 40 (4):568-573.
    We work in set theory without the Axiom of Choice ZF. We prove that the Principle of Dependent Choices (DC) implies that the closed unit ball of a uniformly convex Banach space is weakly compact and, in particular, that the closed unit ball of a Hilbert space is weakly compact. These statements are not provable in ZF and the latter statement does not imply DC. Furthermore, DC does not imply that the closed unit ball of a reflexive space is weakly (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark