52 found
Order:
  1.  29
    Degrees of Models.J. R. Shoenfield - 1960 - Journal of Symbolic Logic 25 (3):233-237.
  2.  22
    A Theorem on Minimal Degrees.J. R. Shoenfield - 1966 - Journal of Symbolic Logic 31 (4):539-544.
  3.  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   6 citations  
  4.  48
    The Mathematical Work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  14
    Degrees of Classes of RE Sets.J. R. Shoenfield - 1976 - Journal of Symbolic Logic 41 (3):695-696.
  6.  20
    Degrees of Formal Systems.J. R. Shoenfield - 1958 - Journal of Symbolic Logic 23 (4):389-392.
  7.  17
    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.
  8.  28
    Open Sentences and the Induction Axiom.J. R. Shoenfield - 1958 - Journal of Symbolic Logic 23 (1):7-12.
  9.  11
    Priority Constructions.J. R. Shoenfield - 1996 - Annals of Pure and Applied Logic 81 (1-3):115-123.
  10.  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  
  11.  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.
  12.  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.
  13.  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.
  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.  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.
  16.  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.
  17.  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  
  18.  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  
  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.  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  
  21.  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  
  22.  15
    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.
  23.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  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  
  25.  24
    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  
  26.  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.
  27.  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  
  28.  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.
  29.  2
    Orey Steven. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 146–153.Feferman S., Kreisel G., and Orey S.. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 , pp. 52–63. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  1
    Review: A. A. Markov, Theory of Algorithms. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
  31. Review: Abraham A. Fraenkel, Yehoshua Bar-Hillel, Foundations of Set Theory. [REVIEW]J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.
  32.  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.
  33.  5
    Review: A. H. Lachlan, The $U$-Quantifier. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
  34. Review: A. Levy, Principles of Reflection in Axiomatic Set Theory. [REVIEW]J. R. Shoenfield - 1965 - Journal of Symbolic Logic 30 (2):251-251.
  35. Review: A. Levy, Axioms of Multiple Choice. [REVIEW]J. R. Shoenfield - 1965 - Journal of Symbolic Logic 30 (2):252-252.
  36. Review: Anthony P. Morse, A Theory of Sets. [REVIEW]J. R. Shoenfield - 1968 - Journal of Symbolic Logic 33 (1):113-113.
  37.  10
    Review: B. Banaschewski, On Transfinite Iteration. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):236-236.
  38.  11
    Review: Gerald E. Sacks, Forcing with Perfect Closed Sets. [REVIEW]J. R. Shoenfield - 1974 - Journal of Symbolic Logic 39 (2):330-330.
  39.  24
    Review: Herbert B. Enderton, A Mathematical Introduction to Logic. [REVIEW]J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.
  40.  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.
  41.  1
    Review: Hartley Rogers, Recursive Functions Over Well-Ordered Partial Orderings. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):83-84.
  42.  4
    Review: J. Donald Monk, Introduction to Set Theory. [REVIEW]J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (1):151-151.
  43.  12
    Review: Judith Roitman, Introduction to Modern Set Theory. [REVIEW]J. R. Shoenfield - 1991 - Journal of Symbolic Logic 56 (2):753-753.
  44.  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  
  45.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  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.
  47.  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.
  48.  14
    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.
  49.  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.
  50.  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.
1 — 50 / 52