Results for 'C. Smoryński'

1000+ found
Order:
  1.  19
    The Unprovability of Consistency. An Essay in Modal Logic.C. Smoryński - 1979 - Journal of Symbolic Logic 46 (4):871-873.
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  2.  44
    Elementary intuitionistic theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.
  3.  8
    [Omnibus Review].C. Smorynski - 1979 - Journal of Symbolic Logic 44 (1):116-119.
  4.  34
    Extensions of Non-Standard Models of Number Theory.C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245.
  5.  29
    On axiomatizing fragments.C. Smorynski - 1977 - Journal of Symbolic Logic 42 (4):530-544.
  6.  30
    Arithmetic analogues of McAloon's unique Rosser sentences.C. Smoryński - 1989 - Archive for Mathematical Logic 28 (1):1-21.
  7.  45
    Fifty years of self-reference in arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.
  8.  42
    Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
  9.  31
    Calculating self-referential statements: Guaspari sentences of the first kind.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):329-344.
  10.  31
    A note on the number of zeros of polynomials and exponential polynomials.C. Smorynski - 1977 - Journal of Symbolic Logic 42 (1):99-106.
  11.  18
    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.
  12.  16
    Elementary extensions of recursively saturated models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (3):193-203.
  13. Gödel's incompleteness theorems.C. A. Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 27.
     
    Export citation  
     
    Bookmark  
  14.  35
    Quantified modal logic and self-reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.
  15.  26
    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.
  16.  16
    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.
  17.  32
    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.
  18.  37
    Cofinal extensions of nonstandard models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (2):133-144.
  19.  55
    Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
  20.  16
    Commutativity and self-reference.C. Smoryński - 1982 - Notre Dame Journal of Formal Logic 23 (4):443-452.
  21.  15
    Review: C. Smorynski, Nonstandard Models and Related Developments. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
  22.  44
    Recursively saturated nonstandard models of arithmetic; addendum.C. Smoryński - 1982 - Journal of Symbolic Logic 47 (3):493-494.
  23.  17
    The early history of formal diagonalization.C. Smoryński - 2023 - Logic Journal of the IGPL 31 (6):1203-1224.
    In Honour of John Crossley’s 85th Birthday.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  47
    C. Smoryński. Nonstandard models and related developments. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 179–229. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  22
    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.
  26. Review: George Boolos, The Unprovability of Consistency. An Essay in Modal Logic. [REVIEW]C. Smorynski - 1981 - Journal of Symbolic Logic 46 (4):871-873.
  27.  30
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  31
    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  
  29.  17
    Ú. 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  13
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  8
    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.
  32.  20
    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.  7
    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.
  34.  9
    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  
  35.  27
    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.
  36.  30
    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.
  37.  31
    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.
  38.  20
    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.
  39.  70
    Book reviews. [REVIEW]Stephen Crites, Findley B. Edge, C. Stephen Evans, S. Daniel Breslauer, Frederick Sontag, Clement Dore, John W. Elrod, John Sallis, Henry W. Smorynski & Louis P. Pojman - 1981 - International Journal for Philosophy of Religion 12 (3):179-191.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  15
    Review: C. Smorynski, Self-Reference and Modal Logic. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
  41.  25
    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  
  42.  13
    Smoryński C.. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  46
    Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp.Smoryński C.. D.1. The incompleteness theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912.Feferman Solomon. D.4. Theories of finite type related to mathematical practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of constructive mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The logic of topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The type free lambda calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  44. Color for Philosophers: Unweaving the Rainbow.C. L. Hardin - 1988 - Hackett.
    This expanded edition of C L Hardin's ground-breaking work on colour features a new chapter, 'Further Thoughts: 1993', in which the author revisits the dispute ...
    Direct download  
     
    Export citation  
     
    Bookmark   247 citations  
  45. The Two Cultures.C. P. Snow & Stefan Collini - 2012 - Cambridge University Press.
    The notion that our society, its education system and its intellectual life, is characterised by a split between two cultures – the arts or humanities on one hand, and the sciences on the other – has a long history. But it was C. P. Snow's Rede lecture of 1959 that brought it to prominence and began a public debate that is still raging in the media today. This 50th anniversary printing of The Two Cultures and its successor piece, A Second (...)
    No categories
     
    Export citation  
     
    Bookmark   83 citations  
  46.  10
    German idealism: the struggle against subjectivism, 1781-1801 /Frederick C. Beiser.Frederick C. Beiser - 2002 - Cambridge, Mass.: Harvard University Press.
    One of the very few accounts in English of German idealism, this ambitious work advances and revises our understanding of both the history and the thought of the classical period of German philosophy. As he traces the structure and evolution of idealism as a doctrine, Frederick Beiser exposes a strong objective, or realist, strain running from Kant to Hegel and identifies the crucial role of the early romantics—Hölderlin, Schlegel, and Novalis—as the founders of absolute idealism.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  47. An Introduction to comparative Psychology.C. Llyod Morgan & C. Lloyd Morgan - 1895 - Revue Philosophique de la France Et de l'Etranger 40:538-541.
     
    Export citation  
     
    Bookmark   131 citations  
  48. The Power Elite.C. Wright Mills - 1957 - Tijdschrift Voor Filosofie 19 (2):328-329.
    No categories
     
    Export citation  
     
    Bookmark   118 citations  
  49. Color for Philosophers.C. L. Hardin & David R. Hilbert - 1991 - Behavior and Philosophy 19 (2):83-85.
     
    Export citation  
     
    Bookmark   97 citations  
  50. The Power Elite.C. Wright Mills - 2005 - In Christopher Grey & Hugh Willmott (eds.), Critical Management Studies:A Reader: A Reader. Oxford University Press. pp. 328-329.
    No categories
     
    Export citation  
     
    Bookmark   71 citations  
1 — 50 / 1000