64 found
Order:
  1.  28
    Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.
  2.  52
    A Non-Standard Model for a Free Variable Fragment of Number Theory.J. C. Shepherdson - 1965 - Journal of Symbolic Logic 30 (3):389-390.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  3.  28
    Computability of Recursive Functions.J. C. Shepherdson & H. E. Sturgis - 1967 - Journal of Symbolic Logic 32 (1):122-123.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  33
    Effective Operations on Partial Recursive Functions.J. Myhill & J. C. Shepherdson - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317.
  5.  63
    Gödel's Second Incompleteness Theorem for Q.A. Bezboruah & J. C. Shepherdson - 1976 - Journal of Symbolic Logic 41 (2):503-512.
  6.  10
    Effective Operations on Partial Recursive Functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
  7.  16
    Inner Models for Set Theory—Part II.J. C. Shepherdson - 1952 - Journal of Symbolic Logic 17 (4):225-237.
    In this paper we continue the study of inner models of the type studied inInner models for set theory—Part I.The present paper is concerned exclusively with a particular kind of model, the ‘super-complete models’ defined in section 2.4 of I. The condition of 2.4 and the completeness condition 1.42 imply that such a model is uniquely determined when its universal class Vmis given. Writing condition and the completeness conditions 1.41, 1.42 in terms of Vm, we may state the definition in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  8.  22
    On the Interpretation of Aristotelian Syllogistic.J. C. Shepherdson - 1956 - Journal of Symbolic Logic 21 (2):137-147.
  9.  18
    Inner Models for Set Theory—Part I.J. C. Shepherdson - 1951 - Journal of Symbolic Logic 16 (3):161-190.
    One of the standard ways of proving the consistency of additional hypotheses with the basic axioms of an axiom system is by the construction of what may be described as ‘inner models.’ By starting with a domain of individuals assumed to satisfy the basic axioms an inner model is constructed whose domain of individuals is a certain subset of the original individual domain. If such an inner model can be constructed which satisfies not only the basic axioms but also the (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  22
    On the Definition of Computable Function of a Real Variable.J. C. Shepherdson - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):391-402.
  11. Representability of Recursively Enumerable Sets in Formal Theories.J. C. Shepherdson - 1961 - Archive for Mathematical Logic 5 (3-4):119-127.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  11
    Inner Models for Set Theory – Part III.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (2):145-167.
    In this third and last paper on inner models we consider some of the inherent limitations of the method of using inner models of the type defined in 1.2 for the proof of consistency results for the particular system of set theory under consideration. Roughly speaking this limitation may be described by saying that practically no further consistency results can be obtained by the construction of models satisfying the conditions of theorem 1.5, i.e., conditions 1.31, 1.32, 1.33, 1.51, viz.:This applies (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  13.  21
    Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):149-175.
  14.  6
    On the Definition of Computable Function of a Real Variable.J. C. Shepherdson - 1976 - Mathematical Logic Quarterly 22 (1):391-402.
  15.  3
    Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson - 1965 - Mathematical Logic Quarterly 11 (2):149-175.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  5
    Inner Models for Set Theory.J. C. Shepherdson - 1953 - Journal of Symbolic Logic 18 (4):342-343.
  17. On the Interpretation of Aristotelian Syllogistic.J. C. Shepherdson - 1957 - Journal of Symbolic Logic 22 (4):381-381.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  53
    A. A. Fridman. Stépéni Nérazréšimosti Problémy Toždéstva V Konéčno Oprédélénnyh Gruppah. Doklady Akadémii Nauk SSSR, Vol. 147 , Pp. 805–808. - A. A. Fridman. Degrees of Insolvability of the Word Problem in Finitely Defined Groups. English Translation of the Preceding by Sue Ann Walker. Soviet Mathematics, Vol. 3 No. 6 , Pp. 1733–1737. - C. R. J. Clapham. Finitely Presented Groups with Word Problems of Arbitrary Degrees of Insolubility. Proceedings of the London Mathematical Society, Ser. 3 Vol. 14 , Pp. 633–676. - William W. Boone. Finitely Presented Group Whose Word Problem has the Same Degree as That of an Arbitrarily Given Thue System . Proceedings of the National Academy of Sciences, Vol. 53 , Pp. 265–269. - William W. Boone. Word Problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systems. Annals of Mathematics, Ser. 2 Vol. 83 , Pp. 520–571. - William W. Boone. Word Problems and Recursively Enumerable Degrees of Unsolvability. A Sequel on Finitely P. [REVIEW]J. C. Shepherdson - 1968 - Journal of Symbolic Logic 33 (2):296-297.
  19.  52
    Roger C. Lyndon. Notes on Logic. D. Van Nostrand Company, Inc., Princeton, Toronto, and London, 1966. Reprinted 1967, Vi + 97 Pp. [REVIEW]J. C. Shepherdson - 1973 - Journal of Symbolic Logic 38 (4):644-646.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  4
    An Intuitionistic Theory of Types: Predicative Part.H. E. Rose & J. C. Shepherdson - 1984 - Journal of Symbolic Logic 49 (1):311-313.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  37
    C. R. J. Clapham. An Embedding Theorem for Finitely Generated Groups. Proceedings of the London Mathematical Society, Ser. 3 Vol. 17 , Pp. 419–430. [REVIEW]J. C. Shepherdson - 1970 - Journal of Symbolic Logic 35 (2):340-341.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  4
    [Omnibus Review].J. C. Shepherdson - 1968 - Journal of Symbolic Logic 33 (2):296-297.
  23.  39
    Computerzing Mathematics: Logic and Computation.J. C. Shepherdson & Michael J. Beeson - 1991 - Journal of Symbolic Logic 56 (3):1090.
  24.  36
    E. W. Beth. Some Consequences of the Theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., Vol. 56 , Pp. 66–71; and Ibid., Vol. 15 , Pp. 66–71. [REVIEW]J. C. Shepherdson - 1954 - Journal of Symbolic Logic 19 (1):61-62.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  19
    G. P. Zykin. Zaméčanié Ob Odnoj Téorémé Hao Vana . Algébra I Logika, Séminar, Vol. 2 No. 1 , Pp. 33–35.J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Mathematical Logic and Programming Languages.Sir Charles Anthony Richard Hoare & J. C. Shepherdson (eds.) - 1985 - Englewood Cliffs, NJ, USA: Prentice-Hall.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  1
    Mathematical Logic and Programming Languages.Charles Antony Richard Hoare & J. C. Shepherdson - 1985 - Prentice-Hall.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Logic Colloquium ’73 Proceedings of the Logic Colloquium.H. E. Rose & J. C. Shepherdson (eds.) - 1975 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  29. H. SCHOLZ and G. HASENJAEGER: "Grundzüge der Mathematischen Logik". [REVIEW]J. C. Shepherdson - 1963 - Ratio (Misc.) 5 (1):107.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Review: Roland Fraisse, Un Modele Definissant une Theorie Aberrante des Ensembles ou Sont Nies les Axiomes du Choix et D'Extensionalite. [REVIEW]J. C. Shepherdson - 1959 - Journal of Symbolic Logic 24 (3):225-226.
     
    Export citation  
     
    Bookmark  
  31.  17
    David Maier and David S. Warren. Computing with Logic. Logic Programming with Prolog. The Benjamin/Cummings Publishing Company, Menlo Park, Calif., Etc., 1988, Xxi + 535 Pp. [REVIEW]J. C. Shepherdson - 1991 - Journal of Symbolic Logic 56 (4):1495.
  32.  16
    Walter Oberschelp. Varianten von Turingmaschinen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 , pp. 53–62. [REVIEW]J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  32
    Review: C. R. J. Clapham, An Embedding Theorem for Finitely Generated Groups. [REVIEW]J. C. Shepherdson - 1970 - Journal of Symbolic Logic 35 (2):340-341.
  34.  24
    Review: Michael O. Rabin, On Recursively Enumerable and Arithmetic Models of Set Theory. [REVIEW]J. C. Shepherdson - 1963 - Journal of Symbolic Logic 28 (2):167-168.
  35.  20
    Fitting Melvin. Computability Theory, Semantics, and Logic Programming. Oxford Logic Guides, No. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, Xi + 198 Pp. [REVIEW]J. C. Shepherdson - 1988 - Journal of Symbolic Logic 53 (4):1257-1257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  23
    Review: Roger C. Lyndon, Notes on Logic. [REVIEW]J. C. Shepherdson - 1973 - Journal of Symbolic Logic 38 (4):644-646.
  37.  20
    Review: Azriel Levy, Axiom Schemata of Strong Infinity in Axiomatic Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (1):88-89.
  38.  15
    Reviews - Paul Bernays. Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre. 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. 3–49. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):353-354.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    Review: C. Y. Lee, Automata and Finite Automata. [REVIEW]J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534-535.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  6
    Michael J. Beeson. Computerizing Mathematics: Logic and Computation. The Universal Turing Machine, A Half-Century Survey, Edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. Pp. 191–225. [REVIEW]J. C. Shepherdson - 1991 - Journal of Symbolic Logic 56 (3):1090-1091.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  18
    Note on a System of Myhill.J. C. Shepherdson - 1956 - Journal of Symbolic Logic 21 (3):261-264.
  42.  11
    Review: G. P. Zykin, Comment on a Theorem of Hao Wang. [REVIEW]J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534-534.
  43.  17
    European Meeting of the Association for Symbolic Logic: Bristol, England, 1973.H. E. Rose & J. C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (2):406-432.
  44.  10
    Recherche d'Une Algèbre Logique Continue.Nicolas Rouche, Wolfe Mays, Henryk Greniewski, M. O. Rabin, D. Scott & J. C. Shepherdson - 1960 - Journal of Symbolic Logic 25 (2):163-164.
  45.  11
    Review: Alfred Tarski, A Simplified Formalization of Predicate Logic with Identity. [REVIEW]J. C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (3):602-603.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  8
    Lévy Azriel. Axiom Schemata of Strong Infinity in Axiomatic Set Theory. Pacific Journal of Mathematics, Vol. 10 , Pp. 223–238. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (1):88-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  8
    Takeuti Gaisi. Axioms of Infinity of Set Theory. Journal of the Mathematical Society of Japan, Vol. 13 , Pp. 220–233.J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
  48.  9
    E. W. Beth. Some Consequences of the Theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., Vol. 56 , Pp. 66–71; and Ibid., Vol. 15 , Pp. 66–71. [REVIEW]J. C. Shepherdson - 1954 - Journal of Symbolic Logic 19 (1):61-61.
  49.  10
    Review: Gaisi Takeuti, Axioms of Infinity of Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
  50.  7
    Roland Fraïssé. Un Modèle Définissant Une Théorie Aberrante des Ensembles Où Sont Niés les Axiomes du Choix Et D'Extensionalité. Publications Scientifiques de l'Université d'Alger, Série A, Mathématiques, Vol. 5 No. 1 , Pp. 17–98. [REVIEW]J. C. Shepherdson - 1959 - Journal of Symbolic Logic 24 (3):225-226.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 64