7 found
Order:
Disambiguations
Craig Smorynski [5]Craig A. Smorynski [2]
  1. The Incompleteness Theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.
  2.  8
    Modal Logic and Self-Reference.Albert Visser & Craig Smorynski - 1989 - Journal of Symbolic Logic 54 (4):1479.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  29
    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  
  4.  67
    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.  24
    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.  74
    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.  19
    Review: Stewart Shapiro, Intensional Mathematics. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.