40 found
Order:
Disambiguations
C. Smorynski [33]Craig Smorynski [6]Craig A. Smorynski [2]C. A. Smorynski [1]
  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.  18
    Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
  3.  42
    David Hilbert. Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900. A Reprint of 1084 . Mathematical Developments Arising From Hilbert Problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, Held at Northern Illinois University, De Kalb, Illinois, May 1974, Edited by Felix E. Browder, Proceedings of Symposia in Pure Mathematics, Vol. 28, American Mathematical Society, Providence1976, Pp. 1–34. - Donald A. Martin. Hilbert's First Problem: The Continuum Hypothesis. A Reprint of 1084 . Mathematical Developments Arising From Hilbert Problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, Held at Northern Illinois University, De Kalb, Illinois, May 1974, Edited by Felix E. Browder, Proceedings of Symposia in Pure Mathematics, Vol. 28, American Mathematical Society, Providence1976, Pp. 81–92. - G. Kreisel. What Have We Learnt From Hilbert's Second Proble. [REVIEW]C. Smoryński - 1979 - Journal of Symbolic Logic 44 (1):116-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  27
    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. Smoryński - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    C. C. Chang and Yiannis N. Moschovakis. The Suslin-Kleene Theorem for Vκ with Cofinality = Ω. Pacific Journal of Mathematics, Vol. 35 , Pp. 565–569. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):245.
  6.  18
    Ú. L. Éršov. I. A. Lavrov, A. D. Tajmanov, and M. A. Tajclin. Eléméntarnyé Téorii. Uspéhi Matématičéskih Nauk, Vol. 20 No. 4 , Pp. 37–108. - Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin. Elementary Theories. English Translation of the Preceding by P. M. Cohn. Russian Mathematical Surveys, Vol. 20 No. 4 , Pp. 35–105. [REVIEW]C. Smorynski - 1974 - Journal of Symbolic Logic 39 (3):603.
  7.  13
    Paul C. Eklof and Edward R. Fisher. The Elementary Theory of Abelian Groups. Annals of Mathematical Logic, Vol. 4 No. 2 , Pp. 115–171. [REVIEW]C. Smorynski - 1974 - Journal of Symbolic Logic 39 (3):603-604.
  8.  12
    Andrzej Grzegorczyk. An Unfinitizability Proof by Means of Restricted Reduced Power. Fundamenta Mathematicae, Vol. 73 No. 1 , Pp. 37–49. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-161.
  9.  10
    Andrew Adler. Extensions of Non-Standard Models of Number Theory. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 15 , Pp. 289–290. - Haim Gaifman. A Note on Models and Submodels of Arithmetic. Conference in Mathematical Logic—London '70, Edited by Wilfrid Hodges, Lecture Notes in Mathematics, No. 255, Springer-Verlag, Berlin, Heidelberg, and New York, 1972, Pp. 128–144. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245.
  10.  20
    Recursively Saturated Nonstandard Models of Arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
  11.  1
    [Omnibus Review].C. Smorynski - 1979 - Journal of Symbolic Logic 44 (1):116-119.
  12.  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  
  13.  13
    Fifty Years of Self-Reference in Arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.
  14.  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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  28
    Elementary Intuitionistic Theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.
  16.  4
    George Boolos. The Unprovability of Consistency. An Essay in Modal Logic. Cambridge University Press, Cambridge Etc. 1979, Viii + 184 Pp. [REVIEW]C. Smoryński - 1981 - Journal of Symbolic Logic 46 (4):871-873.
  17.  25
    Arithmetic Analogues of McAloon's Unique Rosser Sentences.C. Smoryński - 1989 - Archive for Mathematical Logic 28 (1):1-21.
  18.  12
    On Axiomatizing Fragments.C. Smorynski - 1977 - Journal of Symbolic Logic 42 (4):530-544.
  19.  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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  8
    A Note on Initial Segment Constructions in Recursively Saturated Models of Arithmetic.C. Smoryński - 1982 - Notre Dame Journal of Formal Logic 23 (4):393-408.
  21.  25
    Quantified Modal Logic and Self-Reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.
  22.  71
    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  
  23.  26
    Cofinal Extensions of Nonstandard Models of Arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (2):133-144.
  24.  13
    Review: Stewart Shapiro, Intensional Mathematics. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
  25.  13
    Michael O. Rabin. Non-Standard Models and Independence of the Induction Axiom. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, Pp. 287–299; Also Second Edition, Magnes Press, Jerusalem 1966, Pp. 287–299. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-159.
  26.  19
    Review: Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, M. A. Taitslin, P. M. Cohn, Elementary Theories. [REVIEW]C. Smorynski - 1974 - Journal of Symbolic Logic 39 (3):603-603.
  27.  13
    Review: Michael O. Rabin, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Non-Standard Models and Independence of the Induction Axiom. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-159.
  28.  6
    Elementary Extensions of Recursively Saturated Models of Arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (3):193-203.
  29.  5
    A Note on the Number of Zeros of Polynomials and Exponential Polynomials.C. Smorynski - 1977 - Journal of Symbolic Logic 42 (1):99-106.
  30.  10
    Review: C. C. Chang, Yiannis N. Moschovakis, The Suslin-Kleene Theorem for $V_kappa$ with Cofinality $(Kappa) = Omega$. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):245-245.
  31.  7
    Troelstra A. S.. Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in All Finite Types. Proceedings of the Second Scandinavian Logic Symposium, Edited by Fenstad J. E., North-Holland Publishing Company, Amsterdam and London 1971, Pp. 369–405. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
  32.  10
    Review: Andrew Adler, Extensions of Non-Standard Models of Number Theory; Haim Gaifman, A Note on Models and Submodels of Arithmetic. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245.
  33. Review: George Boolos, The Unprovability of Consistency. An Essay in Modal Logic. [REVIEW]C. Smorynski - 1981 - Journal of Symbolic Logic 46 (4):871-873.
  34.  7
    Commutativity and Self-Reference.C. Smoryński - 1982 - Notre Dame Journal of Formal Logic 23 (4):443-452.
  35.  13
    Recursively Saturated Nonstandard Models of Arithmetic; Addendum.C. Smoryński - 1982 - Journal of Symbolic Logic 47 (3):493-494.
  36.  12
    Calculating Self-Referential Statements: Guaspari Sentences of the First Kind.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):329-344.
  37.  5
    Review: Andrzej Grzegorczyk, An Unfinitizability Proof by Means of Restricted Reduced Power. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-161.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    Review: Paul C. Eklof, Edward R. Fisher, The Elementary Theory of Abelian Groups. [REVIEW]C. Smorynski - 1974 - Journal of Symbolic Logic 39 (3):603-604.
  39.  4
    Review: A. S. Troelstra, J. E. Fenstad, Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in All Finite Types. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
  40. Gödel's Incompleteness Theorems.C. A. Smorynski - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 27.
     
    Export citation  
     
    Bookmark