Switch to: References

Add citations

You must login to add citations.
  1. Constructive aspects of Riemann’s permutation theorem for series.J. Berger, Douglas Bridges, Hannes Diener & Helmet Schwichtenberg - forthcoming - Logic Journal of the IGPL.
    The notions of permutable and weak-permutable convergence of a series|$\sum _{n=1}^{\infty }a_{n}$|of real numbers are introduced. Classically, these two notions are equivalent, and, by Riemann’s two main theorems on the convergence of series, a convergent series is permutably convergent if and only if it is absolutely convergent. Working within Bishop-style constructive mathematics, we prove that Ishihara’s principle BD-|$\mathbb {N}$|implies that every permutably convergent series is absolutely convergent. Since there are models of constructive mathematics in which the Riemann permutation theorem for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The anti-Specker property, positivity, and total boundedness.Douglas Bridges & Hannes Diener - 2010 - Mathematical Logic Quarterly 56 (4):434-441.
    Working within Bishop-style constructive mathematics, we examine some of the consequences of the anti-Specker property, known to be equivalent to a version of Brouwer's fan theorem. The work is a contribution to constructive reverse mathematics.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The uniform boundedness theorem and a boundedness principle.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (8):1057-1061.
    Download  
     
    Export citation  
     
    Bookmark