Order: Listing date First author Impact Pub year Relevance Downloads
Order
The incompleteness theorems. Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic . North-Holland. pp. 821 -- 865. details
Self-Reference and Modal Logic. George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306. details
Recursively saturated nonstandard models of arithmetic. C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286. details
[Omnibus Review]. C. Smorynski - 1979 - Journal of Symbolic Logic 44 (1):116-119. details
Modal Logic and Self-Reference. Albert Visser & Craig Smorynski - 1989 - Journal of Symbolic Logic 54 (4):1479. details
Calculating self-referential statements, I: Explicit calculations. Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36. details
Fifty years of self-reference in arithmetic. C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374. details
Elementary intuitionistic theories. C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134. details
On axiomatizing fragments. C. Smorynski - 1977 - Journal of Symbolic Logic 42 (4):530-544. details
Arithmetic analogues of McAloon's unique Rosser sentences. C. Smoryński - 1989 - Archive for Mathematical Logic 28 (1):1-21. details
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. details
Quantified modal logic and self-reference. C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370. details
Elementary extensions of recursively saturated models of arithmetic. C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (3):193-203. details
The finite inseparability of the first-order theory of diagonalisable algebras. Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349. details
The Early History of Formal Diagonalization. C. Smoryński - forthcoming - Logic Journal of the IGPL . details
Cofinal extensions of nonstandard models of arithmetic. C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (2):133-144. details
Review of P. Smith, An introduction to Gödel's theorems . [REVIEW] Craig Smorynski - 2010 - Philosophia Mathematica 18 (1):122-127. details
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. details
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. details
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. details
Ú. 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. details
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. details
A note on the number of zeros of polynomials and exponential polynomials. C. Smorynski - 1977 - Journal of Symbolic Logic 42 (1):99-106. details
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. details
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. details
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. details
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. details
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. details
Recursively saturated nonstandard models of arithmetic; addendum. C. Smoryński - 1982 - Journal of Symbolic Logic 47 (3):493-494. details
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. details
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. details
Review: George Boolos, The Unprovability of Consistency. An Essay in Modal Logic. [REVIEW] C. Smorynski - 1981 - Journal of Symbolic Logic 46 (4):871-873. details
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. details
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. details
Calculating self-referential statements: Guaspari sentences of the first kind. C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):329-344. details
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. details
Commutativity and self-reference. C. Smoryński - 1982 - Notre Dame Journal of Formal Logic 23 (4):443-452. details
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. details
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. details
Review: Andrzej Grzegorczyk, An Unfinitizability Proof by Means of Restricted Reduced Power. [REVIEW] C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-161. details
Extensions of Non-Standard Models of Number Theory. C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed