Switch to: Citations

Add references

You must login to add references.
  1. Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • (1 other version)Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Continuity and nondiscontinuity in constructive mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.
    The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.
    Download  
     
    Export citation  
     
    Bookmark   14 citations