8 found
Order:
  1.  4
    Some Consequences of Rado’s Selection Lemma.Marianne Morillon - 2012 - Archive for Mathematical Logic 51 (7-8):739-749.
    We prove in set theory without the Axiom of Choice, that Rado’s selection lemma ( ${\mathbf{RL}}$ ) implies the Hahn-Banach axiom. We also prove that ${\mathbf{RL}}$ is equivalent to several consequences of the Tychonov theorem for compact Hausdorff spaces: in particular, ${\mathbf{RL}}$ implies that every filter on a well orderable set is included in a ultrafilter. In set theory with atoms, the “Multiple Choice” axiom implies ${\mathbf{RL}}$.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  41
    Notions of Compactness for Special Subsets of ℝ I and Some Weak Forms of the Axiom of Choice.Marianne Morillon - 2010 - Journal of Symbolic Logic 75 (1):255-268.
    We work in set-theory without choice ZF. A set is Countable if it is finite or equipotent with ${\Bbb N}$ . Given a closed subset F of [0, 1] I which is a bounded subset of $\ell ^{1}(I)$ (resp. such that $F\subseteq c_{0}(I)$ ), we show that the countable axiom of choice for finite sets, (resp. the countable axiom of choice AC N ) implies that F is compact. This enhances previous results where AC N (resp. the axiom of Dependent (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  23
    The Hahn-Banach Property and the Axiom of Choice.Juliette Dodu & Marianne Morillon - 1999 - Mathematical Logic Quarterly 45 (3):299-314.
    We work in set theory ZF without axiom of choice. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gateaux-differentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f: F → ℝ is a linear functional such that f ≤ p|F then there exists a linear functional g : E → ℝ such that g extends (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  2
    Multiple Choices Imply the Ingleton and Krein–Milman Axioms.Marianne Morillon - forthcoming - Journal of Symbolic Logic:1-17.
    In set theory without the Axiom of Choice, we consider Ingleton’s axiom which is the ultrametric counterpart of the Hahn–Banach axiom. We show that in ZFA, i.e., in the set theory without the Axiom of Choice weakened to allow “atoms,” Ingleton’s axiom does not imply the Axiom of Choice. We also prove that in ZFA, the “multiple choice” axiom implies the Krein–Milman axiom. We deduce that, in ZFA, the conjunction of the Hahn–Banach, Ingleton and Krein–Milman axioms does not imply the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Three-Space Type Hahn-Banach Properties.Marianne Morillon - 2017 - Mathematical Logic Quarterly 63 (5):320-333.
    In set theory without the axiom of choice math formula, three-space type results for the Hahn-Banach property are provided. We deduce that for every Hausdorff compact scattered space K, the Banach space C of real continuous functions on K satisfies the continuous Hahn-Banach property in math formula. We also prove in math formula Rudin's theorem: “Radon measures on Hausdorff compact scattered spaces are discrete”.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  21
    James Sequences and Dependent Choices.Marianne Morillon - 2005 - Mathematical Logic Quarterly 51 (2):171-186.
    We prove James's sequential characterization of 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 reflexive space (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  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  
  8.  20
    L'axiome de Normalité Pour Les Espaces Totalement Ordonnés.Labib Haddad & Marianne Morillon - 1990 - Journal of Symbolic Logic 55 (1):277-283.
    We show that the following property (LN) holds in the basic Cohen model as sketched by Jech: The order topology of any linearly ordered set is normal. This proves the independence of the axiom of choice from LN in ZF, and thus settles a question raised by G. Birkhoff (1940) which was partly answered by van Douwen (1985).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark