9 found
Order:
  1.  11
    Concepts of General Topology in Constructive Mathematics and in Sheaves.R. J. Grayson - 1981 - Annals of Mathematical Logic 20 (1):1.
  2.  9
    Brouwer's Cambridge Lectures on Intuitionism.R. J. Grayson - 1983 - Journal of Symbolic Logic 48 (1):214-215.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  18
    Concepts of General Topology in Constructive Mathematics and in Sheaves, II.R. J. Grayson - 1982 - Annals of Mathematical Logic 23 (1):55.
  4.  28
    Forcing in Intuitionistic Systems Without Power-Set.R. J. Grayson - 1983 - Journal of Symbolic Logic 48 (3):670-682.
    It is shown how to define forcing semantics within metatheories not containing the power-set construction, in particular, how to construct exponents assuming only (a slightly strengthened form of) exponents in the metatheory. Some straightforward applications (consistency and independence results, and derived rules) are obtained for such systems.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  11
    Brouwer's Cambridge Lectures on Intuitionism.R. J. Grayson - 1984 - British Journal for the Philosophy of Science 35 (1):90-94.
  6.  6
    A Correction to “Concepts of General Topology in Constructive Mathematics and in Sheaves”.R. J. Grayson - 1982 - Annals of Mathematical Logic 23 (1):99.
  7.  7
    John Myhill. Constructive Set Theory. The Journal of Symbolic Logic, Vol. 40 , Pp. 347–382. - Harvey Friedman. Set Theoretic Foundations for Constructive Analysis. Annals of Mathematics, Ser. 2 Vol. 105 , Pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
  8.  26
    Review: L. E. J. Brouwer, D. Van Dalen, Brouwer's Cambridge Lectures on Intuitionism. [REVIEW]R. J. Grayson - 1983 - Journal of Symbolic Logic 48 (1):214-215.
  9.  6
    Myhill John. Constructive Set Theory.R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark