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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark