Switch to: References

Add citations

You must login to add citations.
  1. Lebesgue’s dominated convergence theorem in Bishop’s style.Claudio Coen & Enrico Zoli - 2012 - Annals of Pure and Applied Logic 163 (2):140-150.
    Download  
     
    Export citation  
     
    Bookmark  
  • The swap of integral and limit in constructive mathematics.Rudolf Taschner - 2010 - Mathematical Logic Quarterly 56 (5):533-540.
    Integration within constructive, especially intuitionistic mathematics in the sense of L. E. J. Brouwer, slightly differs from formal integration theories: Some classical results, especially Lebesgue's dominated convergence theorem, have tobe substituted by appropriate alternatives. Although there exist sophisticated, but rather laborious proposals, e.g. by E. Bishop and D. S. Bridges , the reference to partitions and the Riemann-integral, also with regard to the results obtained by R. Henstock and J. Kurzweil , seems to give a better direction. Especially, convergence theorems (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Lebesgue’s dominated convergence theorem in Bishop’s style.Claudio Sacerdoti Coen & Enrico Zoli - 2012 - Annals of Pure and Applied Logic 163 (2):140-150.
    Download  
     
    Export citation  
     
    Bookmark