Edit Profile (opens in new tab) Shönfield, Joseph R. Compute Distance To: Compute Author ID: shonfield.joseph-r Published as: Shoenfield, J. R.; Shoenfield, Joseph R.; Shoenfield, J.; Shönfield, Joseph R.; Shönfield, J. R. more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 40 Publications since 1954, including 7 Books 2 Further Contributions Biographic References: 1 Publication Co-Authors: 3 Co-Authors with 4 Joint Publications 33 Co-Co-Authors all top 5 Co-Authors 36 single-authored 4 Kreisel, Georg 3 Lacombe, Daniel 2 Barendregt, Hendrik Pieter 2 Barwise, Kenneth Jon 2 Burgess, John P. 2 Davis, Martin David 2 Devlin, Keith J. 2 Eklof, Paul C. 2 Enderton, Herbert B. 2 Feferman, Solomon 2 Fourman, Michael Paul 2 Harrington, Leo A. 2 Jech, Thomas J. 2 Juhász, István 2 Kechris, Alexander S. 2 Keisler, Howard Jerome 2 Kock, Anders Jungersen 2 Kunen, Kenneth 2 Macintyre, Angus John 2 Makkai, Michael 2 Martin, Donald A. 2 Morley, Michael Darwin 2 Moschovakis, Yiannis Nicholas 2 Paris, Jeffrey Bruce 2 Rabin, Michael O. 2 Reyes, Gonzalo E. 2 Rudin, Mary Ellen 2 Schwichtenberg, Helmut 2 Shore, Richard Arnold 2 Simpson, Stephen G. 2 Smoryński, Craig 2 Statman, Richard 2 Stroyan, Keith D. 2 Troelstra, Anne Sjerp 1 Wang, Hao all top 5 Serials 6 The Journal of Symbolic Logic 3 Proceedings of the American Mathematical Society 3 Lecture Notes in Logic 2 Annals of Pure and Applied Logic 2 Studies in Logic and the Foundations of Mathematics 1 American Mathematical Monthly 1 Archiv für Mathematische Logik und Grundlagenforschung 1 American Journal of Mathematics 1 Fundamenta Mathematicae 1 Matematikai Lapok 1 Transactions of the American Mathematical Society 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics. Second Series 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Bulletin of the American Mathematical Society 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Paris 1 North-Holland Mathematics Studies Fields 22 Mathematical logic and foundations (03-XX) 2 General topology (54-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 33 Publications have been cited 587 times in 564 Documents Cited by ▼ Year ▼ Mathematical logic. Zbl 0155.01102Shoenfield, Joseph R. 272 1967 On degrees of unsolvability. Zbl 0119.25105Shoenfield, J. R. 70 1959 Degrees of unsolvability. Zbl 0245.02037Shoenfield, Joseph R. 34 1971 Mathematical logic. Reprint of the 1967 original. Zbl 0965.03001Shoenfield, Joseph R. 23 2001 Partial recursive functionals and effective operations. Zbl 0178.32201Kreisel, Georg; Lacombe, D.; Shoenfield, J. R. 21 1959 Degrees of classes of RE sets. Zbl 0366.02029Shoenfield, J. R. 16 1976 Martin’s axiom. Zbl 0314.02069Shoenfield, J. R. 15 1975 Unramified forcing. Zbl 0245.02056Shoenfield, J. R. 15 1971 Number theoretic concepts and recursive well-orderings. Zbl 0129.00402Kreisel, Georg; Shoenfield, J.; Wang, H. 14 1961 Degrees of models. Zbl 0105.24801Shoenfield, J. R. 11 1960 Applications of model theory to degrees of unsolvability. Zbl 0192.05204Shoenfield, J. R. 11 1965 Quasicreative sets. Zbl 0080.24401Shönfield, J. R. 9 1957 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 9 1978 On a restricted \(\omega\)-rule. Zbl 0095.00803Shoenfield, J. R. 9 1959 Open sentences and the induction axiom. Zbl 0085.24505Shoenfield, J. R. 7 1958 A relative consistency proof. Zbl 0055.00404Shoenfield, Joseph R. 7 1954 A theorem on minimal degrees. Zbl 0202.30904Shoenfield, J. R. 7 1966 Degrees of formal systems. Zbl 0093.01301Shoenfield, J. R. 5 1959 Undecidable and creative theories. Zbl 0096.24302Shoenfield, J. R. 5 1961 Non-bounding constructions. Zbl 0714.03035Shoenfield, J. R. 5 1990 The mathematical work of S. C. Kleene. Zbl 0829.03003Shoenfield, J. R. 5 1995 The form of the negation of a predicate. Zbl 0143.01301Shoenfield, J. R. 4 1962 On the independence of the axiom of constructibility. Zbl 0201.32702Shoenfield, J. R. 4 1959 Effective operations and partial recursive functionals. Zbl 0201.33007Kreisel, Georg; LaCombe, D.; Shoenfield, J. 4 1960 Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R. 3 1957 The problem of predicativity. Zbl 0173.00903Shoenfield, J. R. 3 1962 Measurable cardinals. Zbl 0268.02047Shoenfield, J. R. 2 1971 The decision problem for recursively enumerable degrees. Zbl 0339.02043Shoenfield, J. R. 2 1975 The class of recursive functions. Zbl 0087.25202Shoenfield, J. R. 1 1958 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 1 1982 Recursion theory. Zbl 0789.03039Shoenfield, Joseph R. 1 1993 An uncountable set of incomparable degrees. Zbl 0109.24105Shoenfield, J. R. 1 1960 A hierarchy based on a type two object. Zbl 0191.30502Shoenfield, J. R. 1 1968 Mathematical logic. Reprint of the 1967 original. Zbl 0965.03001Shoenfield, Joseph R. 23 2001 The mathematical work of S. C. Kleene. Zbl 0829.03003Shoenfield, J. R. 5 1995 Recursion theory. Zbl 0789.03039Shoenfield, Joseph R. 1 1993 Non-bounding constructions. Zbl 0714.03035Shoenfield, J. R. 5 1990 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 1 1982 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 9 1978 Degrees of classes of RE sets. Zbl 0366.02029Shoenfield, J. R. 16 1976 Martin’s axiom. Zbl 0314.02069Shoenfield, J. R. 15 1975 The decision problem for recursively enumerable degrees. Zbl 0339.02043Shoenfield, J. R. 2 1975 Degrees of unsolvability. Zbl 0245.02037Shoenfield, Joseph R. 34 1971 Unramified forcing. Zbl 0245.02056Shoenfield, J. R. 15 1971 Measurable cardinals. Zbl 0268.02047Shoenfield, J. R. 2 1971 A hierarchy based on a type two object. Zbl 0191.30502Shoenfield, J. R. 1 1968 Mathematical logic. Zbl 0155.01102Shoenfield, Joseph R. 272 1967 A theorem on minimal degrees. Zbl 0202.30904Shoenfield, J. R. 7 1966 Applications of model theory to degrees of unsolvability. Zbl 0192.05204Shoenfield, J. R. 11 1965 The form of the negation of a predicate. Zbl 0143.01301Shoenfield, J. R. 4 1962 The problem of predicativity. Zbl 0173.00903Shoenfield, J. R. 3 1962 Number theoretic concepts and recursive well-orderings. Zbl 0129.00402Kreisel, Georg; Shoenfield, J.; Wang, H. 14 1961 Undecidable and creative theories. Zbl 0096.24302Shoenfield, J. R. 5 1961 Degrees of models. Zbl 0105.24801Shoenfield, J. R. 11 1960 Effective operations and partial recursive functionals. Zbl 0201.33007Kreisel, Georg; LaCombe, D.; Shoenfield, J. 4 1960 An uncountable set of incomparable degrees. Zbl 0109.24105Shoenfield, J. R. 1 1960 On degrees of unsolvability. Zbl 0119.25105Shoenfield, J. R. 70 1959 Partial recursive functionals and effective operations. Zbl 0178.32201Kreisel, Georg; Lacombe, D.; Shoenfield, J. R. 21 1959 On a restricted \(\omega\)-rule. Zbl 0095.00803Shoenfield, J. R. 9 1959 Degrees of formal systems. Zbl 0093.01301Shoenfield, J. R. 5 1959 On the independence of the axiom of constructibility. Zbl 0201.32702Shoenfield, J. R. 4 1959 Open sentences and the induction axiom. Zbl 0085.24505Shoenfield, J. R. 7 1958 The class of recursive functions. Zbl 0087.25202Shoenfield, J. R. 1 1958 Quasicreative sets. Zbl 0080.24401Shönfield, J. R. 9 1957 Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R. 3 1957 A relative consistency proof. Zbl 0055.00404Shoenfield, Joseph R. 7 1954 all cited Publications top 5 cited Publications all top 5 Cited by 615 Authors 15 Downey, Rodney Graham 10 Shore, Richard Arnold 9 Novák, Vilém 9 Soare, Robert I. 7 Lewis, Alain A. 6 Endrullis, Jörg 6 Jockusch, Carl G. jun. 5 Hetzl, Stefan 5 Shönfield, Joseph R. 4 Ambos-Spies, Klaus 4 Bergstra, Jan A. 4 Börger, Egon 4 Case, John 4 Cholak, Peter A. 4 Cooper, Stuart Barry 4 Diaconescu, Răzvan 4 Fagin, Ronald 4 Feferman, Solomon 4 Greenberg, Noam 4 Klop, Jan Willem 4 Kohlenbach, Ulrich Wilhelm 4 Kramosil, Ivan 4 Lempp, Steffen 4 Patey, Ludovic 4 Selivanov, Viktor L’vovich 4 Slaman, Theodore A. 4 Spreen, Dieter 4 Veloso, Paulo Augusto S. 3 Abian, Alexander 3 Avigad, Jeremy 3 Becher, Verónica 3 Benioff, Paul A. 3 Cai, Mingzhong 3 Clote, Peter G. 3 Doria, Francisco Antonio 3 Friedman, Harvey M. 3 Kanamori, Akihiro 3 Lerman, Manuel 3 Makowsky, Johann-Andreas 3 Manzano, María 3 Meseguer Guaita, José 3 Odifreddi, Piergiorgio 3 Posner, David B. 3 Schwartz, Daniel G. 3 Simpson, Stephen G. 3 Stob, Michael 3 Talagrand, Michel 3 Tohmé, Fernando A. 3 Vierling, Jannik 3 Wirsing, Martin 2 Ajtai, Miklós 2 Alberti, Francesco 2 Alonso, Enrique 2 Alton, Donald A. 2 Apt, Krzysztof Rafal 2 Arslanov, Marat M. 2 Barmpalias, George 2 Baur, Walter 2 Berardi, Stefano 2 Biskup, Joachim 2 Boldi, Paolo 2 Bonatti, Piero Andrea 2 Çevik, Ahmet Sinan 2 Chernov, V. P. 2 Clavel, Manuel 2 Coquand, Thierry 2 Csima, Barbara F. 2 Da Costa, Newton Carneiro Affonso 2 Dean, Walter 2 Diller, Justus 2 Doets, Kees 2 El-Zekey, Moataz Saleh 2 Epstein, Rachel 2 Ferreira, Fernando 2 Freire, Rodrigo A. 2 Gavilanes-Franco, Antonio 2 Geuvers, Jan Herman 2 Ghilardi, Silvio 2 Grigorieff, Serge 2 Guelev, Dimitar P. 2 Hájek, Petr 2 Hay, Louise 2 Hechler, Stephen Herman 2 Hertling, Peter H. 2 Hodges, Wilfrid 2 Hung, Dang Van 2 Hyland, J. Martin E. 2 Jain, Sanjay 2 Jarden, Adi 2 Juhász, István 2 Kanovei, Vladimir G. 2 Karhumaki, Juhani 2 Kechris, Alexander S. 2 Kleine Büning, Hans 2 Knight, Julia F. 2 Korovina, Margarita Vladimirovna 2 Krylov, Sergeĭ Mikhaĭlovich 2 Kudinov, Oleg Victorovich 2 Kumabe, Masahiro 2 Lachlan, Alistair H. ...and 515 more Authors all top 5 Cited in 130 Serials 55 Theoretical Computer Science 54 Annals of Pure and Applied Logic 49 The Journal of Symbolic Logic 22 Transactions of the American Mathematical Society 19 Archive for Mathematical Logic 17 Archiv für Mathematische Logik und Grundlagenforschung 14 Proceedings of the American Mathematical Society 10 Information Processing Letters 9 Israel Journal of Mathematics 9 Journal of Computer and System Sciences 9 Journal of Philosophical Logic 9 The Bulletin of Symbolic Logic 8 Fuzzy Sets and Systems 8 Studia Logica 7 Synthese 7 Mathematical Social Sciences 6 Artificial Intelligence 6 Journal of Pure and Applied Algebra 6 Kybernetika 6 Bulletin of the American Mathematical Society 5 Acta Informatica 5 Algebra and Logic 5 Journal of Algebra 5 Notre Dame Journal of Formal Logic 5 Information and Computation 5 Journal of Automated Reasoning 5 Logica Universalis 4 Advances in Mathematics 4 Compositio Mathematica 4 History and Philosophy of Logic 4 Mathematical Logic Quarterly (MLQ) 4 Journal of Mathematical Logic 3 Lithuanian Mathematical Journal 3 Journal of Mathematical Economics 3 Mathematica Slovaca 3 Publications of the Research Institute for Mathematical Sciences, Kyoto University 3 Journal of Symbolic Computation 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Mathematical Sciences (New York) 3 Annals of Mathematics and Artificial Intelligence 3 Theory of Computing Systems 3 Logical Methods in Computer Science 3 The Review of Symbolic Logic 2 International Journal of General Systems 2 International Journal of Theoretical Physics 2 Periodica Mathematica Hungarica 2 Algebra Universalis 2 Annali di Matematica Pura ed Applicata. Serie Quarta 2 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 2 Bulletin de la Société Mathématique de France 2 Journal of Mathematical Psychology 2 Journal of Soviet Mathematics 2 Manuscripta Mathematica 2 Mathematische Annalen 2 Mathematische Zeitschrift 2 Siberian Mathematical Journal 2 Topology and its Applications 2 Cybernetics 2 New Generation Computing 2 Journal of Logic, Language and Information 2 Journal of Applied Non-Classical Logics 2 Acta Mathematica et Informatica Universitatis Ostraviensis 2 Comptes Rendus. Mathématique. Académie des Sciences, Paris 2 Quantum Information Processing 2 Journal of Applied Logic 2 Advances and Applications in Discrete Mathematics 2 Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki 2 Computability 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 International Journal of Mathematical Education in Science and Technology 1 Journal of Mathematical Analysis and Applications 1 Mathematical Notes 1 Mathematische Semesterberichte 1 Russian Mathematical Surveys 1 Ukrainian Mathematical Journal 1 Annales de l’Institut Fourier 1 Information Sciences 1 Inventiones Mathematicae 1 Journal of Combinatorial Theory. Series B 1 Journal of Functional Analysis 1 Journal of the London Mathematical Society. Second Series 1 Journal of the Mathematical Society of Japan 1 Monatshefte für Mathematik 1 RAIRO, Informatique Théorique 1 Rendiconti del Seminario Matematico della Università di Padova 1 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 1 Physica D 1 Order 1 Statistical Science 1 Journal of Computer Science and Technology 1 Computers & Operations Research 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 Annales de l’Institut Henri Poincaré. Nouvelle Série. Section B. Calcul des Probabilités et Statistique 1 Bulletin of the American Mathematical Society. New Series ...and 30 more Serials all top 5 Cited in 41 Fields 425 Mathematical logic and foundations (03-XX) 171 Computer science (68-XX) 19 General topology (54-XX) 16 History and biography (01-XX) 14 Measure and integration (28-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Combinatorics (05-XX) 13 Group theory and generalizations (20-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 12 Category theory; homological algebra (18-XX) 9 Number theory (11-XX) 8 General and overarching topics; collections (00-XX) 8 Field theory and polynomials (12-XX) 8 Quantum theory (81-XX) 6 General algebraic systems (08-XX) 6 Commutative algebra (13-XX) 6 Real functions (26-XX) 6 Functional analysis (46-XX) 4 Algebraic geometry (14-XX) 4 Probability theory and stochastic processes (60-XX) 4 Statistics (62-XX) 4 Information and communication theory, circuits (94-XX) 3 Operator theory (47-XX) 3 Geometry (51-XX) 3 Numerical analysis (65-XX) 2 Associative rings and algebras (16-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Algebraic topology (55-XX) 2 Manifolds and cell complexes (57-XX) 2 Mechanics of particles and systems (70-XX) 2 Relativity and gravitational theory (83-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 2 Mathematics education (97-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Topological groups, Lie groups (22-XX) 1 Abstract harmonic analysis (43-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.