7 found
Order:
Disambiguations
Craig Smorynski [6]Craig A. Smorynski [2]
  1. The Incompleteness Theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.
    Direct download  
     
    Export citation  
     
    Bookmark   69 citations  
  2.  28
    Stewart Shapiro. Introduction—Intensional Mathematics and Constructive Mathematics. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, Pp. 1–10. - Stewart Shapiro. Epistemic and Intuitionistic Arithmetic. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Pp. 11–46. - John Myhill. Intensional Set Theory. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Pp. 47–61. - Nicolas D. Goodman. A Genuinely Intensional Set Theory. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Pp. 63–79. - Andrej Ščedrov. Extending Godel's Modal Interpretation to Type Theory and Set Theory. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  7
    Modal Logic and Self-Reference.Albert Visser & Craig Smorynski - 1989 - Journal of Symbolic Logic 54 (4):1479.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  60
    Calculating Self-Referential Statements, I: Explicit Calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.
    The proof of the Second Incompleteness Theorem consists essentially of proving the uniqueness and explicit definability of the sentence asserting its own unprovability. This turns out to be a rather general phenomenon: Every instance of self-reference describable in the modal logic of the standard proof predicate obeys a similar uniqueness and explicit definability law. The efficient determination of the explicit definitions of formulae satisfying a given instance of self-reference reduces to a simple algebraic problem-that of solving the corresponding fixed-point equation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  23
    The Finite Inseparability of the First-Order Theory of Diagonalisable Algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
    In a recent paper, Montagna proved the undecidability of the first-order theory of diagonalisable algebras. This result is here refined — the set of finitely refutable sentences is shown effectively inseparable from the set of theorems. The proof is quite simple.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  72
    Review of P. Smith, An Introduction to Gödel's Theorems[REVIEW]Craig Smorynski - 2010 - Philosophia Mathematica 18 (1):122-127.
    (No abstract is available for this citation).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  7.  16
    Review: Stewart Shapiro, Intensional Mathematics. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.