53 found
Order:
  1.  7
    Foundations of Set Theory.J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.
    Direct download  
     
    Export citation  
     
    Bookmark   68 citations  
  2.  29
    Degrees of Models.J. R. Shoenfield - 1960 - Journal of Symbolic Logic 25 (3):233-237.
  3.  23
    A Theorem on Minimal Degrees.J. R. Shoenfield - 1966 - Journal of Symbolic Logic 31 (4):539-544.
  4.  14
    Non-Bounding Constructions.J. R. Shoenfield - 1990 - Annals of Pure and Applied Logic 50 (2):191-205.
    The object of this paper is to explain a certain type of construction which occurs in priority proofs and illustrate it with two examples due to Lachlan and Harrington. The proofs in the examples are essentially the original proofs; our main contribution is to isolate the common part of these proofs. The key ideas in this common part are due to Lachlan; we include several improvements due to Harrington, Soare, Slaman, and the author.Our notation is fairly standard. If X is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  20
    Degrees of Formal Systems.J. R. Shoenfield - 1958 - Journal of Symbolic Logic 23 (4):389-392.
  6.  14
    Degrees of Classes of RE Sets.J. R. Shoenfield - 1976 - Journal of Symbolic Logic 41 (3):695-696.
  7.  50
    The Mathematical Work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
    §1. The origins of recursion theory. In dedicating a book to Steve Kleene, I referred to him as the person who made recursion theory into a theory. Recursion theory was begun by Kleene's teacher at Princeton, Alonzo Church, who first defined the class of recursive functions; first maintained that this class was the class of computable functions ; and first used this fact to solve negatively some classical problems on the existence of algorithms. However, it was Kleene who, in his (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  18
    Lévy A.. Principles of Reflection in Axiomatic Set Theory. Fundamenta Mathematicae, Vol. 49 No. 1 , Pp. 1–10.J. R. Shoenfield - 1965 - Journal of Symbolic Logic 30 (2):251-251.
  9.  28
    Open Sentences and the Induction Axiom.J. R. Shoenfield - 1958 - Journal of Symbolic Logic 23 (1):7-12.
  10.  37
    Review: Azriel Levy, On a Spectrum of Set Theories; A. Levy, R. Vaught, Principles of Partial Reflection in the Set Theories of Zermelo and Ackermann; Azriel Levy, Ernest Nagel, Patrick Suppes, Alfred Tarski, On the Principles of Reflection in Axiomatic Set Theory. [REVIEW]J. R. Shoenfield - 1970 - Journal of Symbolic Logic 35 (3):473.
  11.  30
    A. H. Lachlan. Effective Operations in a General Setting. The Journal of Symbolic Logic, Vol. 29 No. 4 , Pp. 163–178.J. R. Shoenfield - 1966 - Journal of Symbolic Logic 31 (4):654.
  12.  27
    Abraham A. Fraenkel and Yehoshua Bar-Hillel. Foundations of Set Theory. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam1958, X + 415 Pp. [REVIEW]J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141.
  13.  11
    Priority Constructions.J. R. Shoenfield - 1996 - Annals of Pure and Applied Logic 81 (1-3):115-123.
  14.  23
    Anthony P. Morse. A Theory of Sets. Academic Press, New York and London1965, Xxxi + 130 Pp. - Trevor J. McMinn. Foreword. Therein, Pp. Vii–Xxiii. [REVIEW]J. R. Shoenfield - 1968 - Journal of Symbolic Logic 33 (1):113.
  15.  36
    Markov A. A.. Theory of Algorithms. English Translation by Schorr-Kon Jacques J., and Program for Scientific Translations Staff. Published for the National Science Foundation, Washington, D.C., and the Department of Commerce by the Israel Program for Scientific Translations, Jerusalem 1961, 444 Pp. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  18
    Robert A. DiPaola. Pseudo-Complements and Ordinal Logics Based on Consistency Statements. The Journal of Symbolic Logic, Vol. 31 , Pp. 359–364. - Robert A. Dipaola. Some Properties of Pseudo-Complements of Recursively Enumerable Sets. Transactions of the American Mathematical Society, Vol. 121 , Pp. 296–308. [REVIEW]J. R. Shoenfield - 1972 - Journal of Symbolic Logic 37 (2):406-406.
  17. Review: A. Levy, Axioms of Multiple Choice. [REVIEW]J. R. Shoenfield - 1965 - Journal of Symbolic Logic 30 (2):252-252.
  18.  15
    Rolf Schock. A Simple Version of the Generalized Continuum Hypothesis. Notre Dame Journal of Formal Logic, Vol. 7 No. 3 , Pp. 287–288. [REVIEW]J. R. Shoenfield - 1970 - Journal of Symbolic Logic 35 (4):592.
  19.  27
    DiPaola Robert A.. Pseudo-Complements and Ordinal Logics Based on Consistency Statements.J. R. Shoenfield - 1972 - Journal of Symbolic Logic 37 (2):406.
  20.  25
    Banaschewski B.. Hüllensysteme und Erweiterung von Quasi-Ordnungen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 117–130. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):235-236.
  21.  22
    Maehara Shôji. Über Die Rekursive Einführung der Funktionen in der Reinen Zahlentheorie. Proceedings of the Japan Academy, Vol. 33 , Pp. 111–113. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  22
    Sacks Gerald E.. Forcing with Perfect Closed Sets. Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 1, American Mathematical Society, Providence, Rhode Island, 1971, Pp. 331–355. [REVIEW]J. R. Shoenfield - 1974 - Journal of Symbolic Logic 39 (2):330-330.
  23.  23
    Effective Operations and Partial Recursive Functionals.G. Kriesel, D. Lacombe, J. Shoenfield, G. Kreisel & J. R. Shoenfield - 1966 - Journal of Symbolic Logic 31 (2):261-262.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  11
    Herbert B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York and London1972, Xiv + 295 Pp. [REVIEW]J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  11
    Judith Roitman. Introduction to Modern Set Theory. Pure and Applied Mathematics. John Wiley & Sons, New York Etc. 1990, Xiii + 156 Pp. [REVIEW]J. R. Shoenfield - 1991 - Journal of Symbolic Logic 56 (2):753.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  25
    Review: Herbert B. Enderton, A Mathematical Introduction to Logic. [REVIEW]J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.
  27.  25
    Review: Shoji Maehara, General Recursive Functions in the Number-Theoretic Formal System. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
  28.  19
    Rogers Hartley Jr., Recursive Functions Over Well-Ordered Partial Orderings. Proceedings of the American Mathematical Society, Vol. 10 , Pp. 847–853. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):83-84.
  29.  17
    Bernays P.. Die Hohen Unendlichkeiten Und Die Axiomatik der Mengenlehre. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państowowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, Pp. 11–20. [REVIEW]J. R. Shoenfield - 1969 - Journal of Symbolic Logic 33 (4):632-632.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  17
    Monk J. Donald. Introduction to Set Theory. McGraw-Hill Book Company, New York, St. Louis, San Francisco, London, Sydney, Toronto, Mexico, and Panama, 1969, Ix + 193 Pp. [REVIEW]J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (1):151-151.
  31.  16
    Lévy A.. Axioms of Multiple Choice. Fundamenta Mathematicae, Vol. 50 No. 5 , Pp. 475–483.J. R. Shoenfield - 1965 - Journal of Symbolic Logic 30 (2):252-252.
  32.  20
    Review: Steven Orey, Relative Interpretations; S. Feferman, G. Kreisel, S. Orey, 1-Consistency and Faithful Interpretations. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
  33.  15
    Maehara Shôji. General Recursive Functions in the Number-Theoretic Formal System. Annals of the Japan Association for Philosophy of Science, Vol. 1 No. 2 , Pp. 119–130. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
  34.  14
    Banaschewski B.. On Transfinite Iteration. Fundamenta Mathematicae, Vol. 46 , Pp. 225–229.J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):236-236.
  35.  13
    Bernays Paul. A System of Axiomatic Set Theory — Part VII.J. R. Shoenfield - 1957 - Journal of Symbolic Logic 22 (4):367-368.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  7
    Leslie H. Tharp. On a Set Theory of Bernays. The Journal of Symbolic Logic, Vol. 32 , Pp. 319–321.J. R. Shoenfield - 1971 - Journal of Symbolic Logic 36 (4):682.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  12
    Review: Judith Roitman, Introduction to Modern Set Theory. [REVIEW]J. R. Shoenfield - 1991 - Journal of Symbolic Logic 56 (2):753-753.
  38.  12
    Review: Leslie H. Tharp, On a Set Theory of Bernays. [REVIEW]J. R. Shoenfield - 1971 - Journal of Symbolic Logic 36 (4):682-682.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  8
    Review: Raymond M. Smullyan, Languages in Which Self Reference is Possible. [REVIEW]J. R. Shoenfield - 1959 - Journal of Symbolic Logic 24 (3):228-228.
  40. Review: A. Levy, Principles of Reflection in Axiomatic Set Theory. [REVIEW]J. R. Shoenfield - 1965 - Journal of Symbolic Logic 30 (2):251-251.
  41.  11
    Review: Gerald E. Sacks, Forcing with Perfect Closed Sets. [REVIEW]J. R. Shoenfield - 1974 - Journal of Symbolic Logic 39 (2):330-330.
  42.  9
    Lachlan A. H.. The U-quantifier. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 171–174. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  10
    Review: B. Banaschewski, On Transfinite Iteration. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):236-236.
  44. Review: Anthony P. Morse, A Theory of Sets. [REVIEW]J. R. Shoenfield - 1968 - Journal of Symbolic Logic 33 (1):113-113.
  45. Review: Abraham A. Fraenkel, Yehoshua Bar-Hillel, Foundations of Set Theory. [REVIEW]J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.
  46.  6
    Smullyan Raymond M.. Languages in Which Self Reference is Possible. [REVIEW]J. R. Shoenfield - 1959 - Journal of Symbolic Logic 24 (3):228-228.
  47.  5
    Review: A. H. Lachlan, The $U$-Quantifier. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
  48.  4
    Review: P. Bernays, Die Hohen Unendlichkeiten und die Axiomatik der Mengenlehre. [REVIEW]J. R. Shoenfield - 1968 - Journal of Symbolic Logic 33 (4):632-632.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  4
    Review: J. Donald Monk, Introduction to Set Theory. [REVIEW]J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (1):151-151.
  50.  3
    Review: Rolf Schock, A Simple Version of the Generalized Continuum Hypothesis. [REVIEW]J. R. Shoenfield - 1970 - Journal of Symbolic Logic 35 (4):592-592.
1 — 50 / 53