Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Download  
     
    Export citation  
     
    Bookmark   200 citations  
  • (1 other version)Sequential Continuity of Functions in Constructive Analysis.Douglas Bridges & Ayan Mahalanobis - 2000 - Mathematical Logic Quarterly 46 (1):139-143.
    It is shown that in any model of constructive mathematics in which a certain omniscience principle is false, for strongly extensional functions on an interval the distinction between sequentially continuous and regulated disappears. It follows, without the use of Markov's Principle, that any recursive function of bounded variation on a bounded closed interval is recursively sequentially continuous.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
    Download  
     
    Export citation  
     
    Bookmark   65 citations