Switch to: Citations

Add references

You must login to add references.
  1. Fundamental notions of analysis in subsystems of second-order arithmetic.Jeremy Avigad - 2006 - Annals of Pure and Applied Logic 139 (1):138-184.
    We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having to do with distances, closed subsets and subspaces, closures, bases, norms, and projections. We pay close attention to variations that arise when formalizing definitions and theorems, and study the relationships between them.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.
    This book, Foundations of Constructive Analysis, founded the field of constructive analysis because it proved most of the important theorems in real analysis by constructive methods. The author, Errett Albert Bishop, born July 10, 1928, was an American mathematician known for his work on analysis. In the later part of his life Bishop was seen as the leading mathematician in the area of Constructive mathematics. From 1965 until his death, he was professor at the University of California at San Diego.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • Corrigendum to: 'A Constructive View on Ergodic Theorems'.Bas Spitters - 2006 - Journal of Symbolic Logic 71 (4):1431 - 1432.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Download  
     
    Export citation  
     
    Bookmark   200 citations  
  • Constructive Analysis.Errett Bishop & Douglas S. Bridges - 1985 - Berlin, Heidelberg, New York, and Tokyo: Springer.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)Annals of Pure and Applied Logic. [REVIEW]Jeremy Avigad - 2001 - Bulletin of Symbolic Logic 7 (1):77-78.
    Download  
     
    Export citation  
     
    Bookmark   1 citation