10 found
Order:
  1.  14
    Richard A. Platek (1971). The Converse to a Metatheorem in Gödel Set Theory. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):21-22.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  28
    Richard A. Platek (1969). Eliminating the Continuum Hypothesis. Journal of Symbolic Logic 34 (2):219-225.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Richard A. Platek (1971). The Converse to a Metatheorem in Gödel Set Theory. Mathematical Logic Quarterly 17 (1):21-22.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  1
    Richard A. Platek (1970). Review: R. O. Gandy, John N. Crossley, Computable Functionals of Finite Type I. [REVIEW] Journal of Symbolic Logic 35 (1):157-158.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Richard A. Platek (1970). Gandy R. O.. Computable Functionals of Finite Type I. Sets, Models and Recursion Theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by Crossley John N., North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 202–242. [REVIEW] Journal of Symbolic Logic 35 (1):157-158.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Richard A. Platek (1969). Kreisel G. And Sacks Gerald E.. Metarecursive Sets. Journal of Symbolic Logic 33 (4):622-623.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Richard A. Platek (1996). Kreisel, Generalized Recursion Theory, Stanford and Me. In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters 97.
    No categories
     
    Export citation  
     
    My bibliography  
  8. Richard A. Platek (1969). [Omnibus Review]. Journal of Symbolic Logic 34 (1):115-116.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9. Richard A. Platek (1968). Review: G. Kreisel, Gerald E. Sacks, Metarecursive Sets. [REVIEW] Journal of Symbolic Logic 33 (4):622-623.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Richard A. Platek (1969). Sacks Gerald E.. Metarecursively Enumerable Sets and Admissible Ordinals. Bulletin of the American Mathematical Society, Vol. 72 , Pp. 59–64.Sacks Gerald E.. Post's Problem, Admissible Ordinals, and Regularity. Transactions of the American Mathematical Society, Vol. 124 , Pp. 1–23.Sacks Gerald E.. Metarecursion Theory. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by Crossley John N., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 243–263.Driscoll Graham C. Jr., Metarecursively Enumerable Sets and Their Metadegrees. [REVIEW] Journal of Symbolic Logic 34 (1):115-116.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography