Results for '04A25'

4 found
Order:
  1.  34
    When series of computable functions with varying domains are computable.Iraj Kalantari & Larry Welch - 2013 - Mathematical Logic Quarterly 59 (6):471-493.
  2.  57
    Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.Arthur L. Rubin & Jean E. Rubin - 1993 - Mathematical Logic Quarterly 39 (1):7-22.
    In this paper we study some statements similar to the Partition Principle and the Trichotomy. We prove some relationships between these statements, the Axiom of Choice, and the Generalized Continuum Hypothesis. We also prove some independence results. MSC: 03E25, 03E50, 04A25, 04A50.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  23
    Variations of Rado's lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
    The deductive strengths of three variations of Rado's selection lemma are studied in set theory without the axiom of choice. Two are shown to be equivalent to Rado's lemma and the third to the Boolean prime ideal theorem. MSC: 03E25, 04A25, 06E05.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  31
    The theorem of the means for cardinal and ordinal numbers.George Rousseau - 1993 - Mathematical Logic Quarterly 39 (1):279-286.
    The theorem that the arithmetic mean is greater than or equal to the geometric mean is investigated for cardinal and ordinal numbers. It is shown that whereas the theorem of the means can be proved for n pairwise comparable cardinal numbers without the axiom of choice, the inequality a2 + b2 ≥ 2ab is equivalent to the axiom of choice. For ordinal numbers, the inequality α2 + β2 ≥ 2αβ is established and the conditions for equality are derived; stronger inequalities (...)
    Direct download  
     
    Export citation  
     
    Bookmark