×

Shönfield, Joseph R.

Author ID: shonfield.joseph-r Recent zbMATH articles by "Shönfield, Joseph R."
Published as: Shoenfield, J. R.; Shoenfield, Joseph R.; Shoenfield, J.; Shönfield, Joseph R.; Shönfield, J. R.
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

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 725 times in 692 Documents Cited by Year
Mathematical logic. Zbl 0155.01102
Shoenfield, Joseph R.
350
1967
On degrees of unsolvability. Zbl 0119.25105
Shoenfield, J. R.
74
1959
Degrees of unsolvability. Zbl 0245.02037
Shoenfield, Joseph R.
46
1971
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R.
28
1959
Mathematical logic. Reprint of the 1967 original. Zbl 0965.03001
Shoenfield, Joseph R.
25
2001
Unramified forcing. Zbl 0245.02056
Shoenfield, J. R.
20
1971
The problem of predicativity. Zbl 0173.00903
Shoenfield, J. R.
19
1962
Degrees of classes of RE sets. Zbl 0366.02029
Shoenfield, J. R.
16
1976
Martin’s axiom. Zbl 0314.02069
Shoenfield, J. R.
15
1975
Degrees of models. Zbl 0105.24801
Shoenfield, J. R.
15
1960
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
14
1978
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Applications of model theory to degrees of unsolvability. Zbl 0192.05204
Shoenfield, J. R.
13
1965
Quasicreative sets. Zbl 0080.24401
Shönfield, J. R.
9
1957
On a restricted \(\omega\)-rule. Zbl 0095.00803
Shoenfield, J. R.
9
1959
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
7
1982
Open sentences and the induction axiom. Zbl 0085.24505
Shoenfield, J. R.
7
1958
A theorem on minimal degrees. Zbl 0202.30904
Shoenfield, J. R.
7
1966
A relative consistency proof. Zbl 0055.00404
Shoenfield, Joseph R.
7
1954
Undecidable and creative theories. Zbl 0096.24302
Shoenfield, J. R.
6
1961
On the independence of the axiom of constructibility. Zbl 0201.32702
Shoenfield, J. R.
6
1959
Degrees of formal systems. Zbl 0093.01301
Shoenfield, J. R.
6
1959
Non-bounding constructions. Zbl 0714.03035
Shoenfield, J. R.
5
1990
The mathematical work of S. C. Kleene. Zbl 0829.03003
Shoenfield, J. R.
5
1995
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J.
5
1960
The form of the negation of a predicate. Zbl 0143.01301
Shoenfield, J. R.
4
1962
Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702
Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R.
3
1957
Recursion theory. Zbl 0789.03039
Shoenfield, Joseph R.
3
1993
Measurable cardinals. Zbl 0268.02047
Shoenfield, J. R.
2
1971
The decision problem for recursively enumerable degrees. Zbl 0339.02043
Shoenfield, J. R.
2
1975
The class of recursive functions. Zbl 0087.25202
Shoenfield, J. R.
1
1958
A hierarchy based on a type two object. Zbl 0191.30502
Shoenfield, J. R.
1
1968
Recursion theory. Reprint of the 1993 original. Zbl 0962.03028
Shoenfield, Joseph R.
1
2001
An uncountable set of incomparable degrees. Zbl 0109.24105
Shoenfield, J. R.
1
1960
Mathematical logic. Reprint of the 1967 original. Zbl 0965.03001
Shoenfield, Joseph R.
25
2001
Recursion theory. Reprint of the 1993 original. Zbl 0962.03028
Shoenfield, Joseph R.
1
2001
The mathematical work of S. C. Kleene. Zbl 0829.03003
Shoenfield, J. R.
5
1995
Recursion theory. Zbl 0789.03039
Shoenfield, Joseph R.
3
1993
Non-bounding constructions. Zbl 0714.03035
Shoenfield, 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
7
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
14
1978
Degrees of classes of RE sets. Zbl 0366.02029
Shoenfield, J. R.
16
1976
Martin’s axiom. Zbl 0314.02069
Shoenfield, J. R.
15
1975
The decision problem for recursively enumerable degrees. Zbl 0339.02043
Shoenfield, J. R.
2
1975
Degrees of unsolvability. Zbl 0245.02037
Shoenfield, Joseph R.
46
1971
Unramified forcing. Zbl 0245.02056
Shoenfield, J. R.
20
1971
Measurable cardinals. Zbl 0268.02047
Shoenfield, J. R.
2
1971
A hierarchy based on a type two object. Zbl 0191.30502
Shoenfield, J. R.
1
1968
Mathematical logic. Zbl 0155.01102
Shoenfield, Joseph R.
350
1967
A theorem on minimal degrees. Zbl 0202.30904
Shoenfield, J. R.
7
1966
Applications of model theory to degrees of unsolvability. Zbl 0192.05204
Shoenfield, J. R.
13
1965
The problem of predicativity. Zbl 0173.00903
Shoenfield, J. R.
19
1962
The form of the negation of a predicate. Zbl 0143.01301
Shoenfield, J. R.
4
1962
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Undecidable and creative theories. Zbl 0096.24302
Shoenfield, J. R.
6
1961
Degrees of models. Zbl 0105.24801
Shoenfield, J. R.
15
1960
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J.
5
1960
An uncountable set of incomparable degrees. Zbl 0109.24105
Shoenfield, J. R.
1
1960
On degrees of unsolvability. Zbl 0119.25105
Shoenfield, J. R.
74
1959
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R.
28
1959
On a restricted \(\omega\)-rule. Zbl 0095.00803
Shoenfield, J. R.
9
1959
On the independence of the axiom of constructibility. Zbl 0201.32702
Shoenfield, J. R.
6
1959
Degrees of formal systems. Zbl 0093.01301
Shoenfield, J. R.
6
1959
Open sentences and the induction axiom. Zbl 0085.24505
Shoenfield, J. R.
7
1958
The class of recursive functions. Zbl 0087.25202
Shoenfield, J. R.
1
1958
Quasicreative sets. Zbl 0080.24401
Shönfield, J. R.
9
1957
Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702
Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R.
3
1957
A relative consistency proof. Zbl 0055.00404
Shoenfield, Joseph R.
7
1954
all top 5

Cited by 734 Authors

18 Downey, Rodney Graham
11 Shore, Richard Arnold
10 Soare, Robert I.
9 Endrullis, Jörg
9 Novák, Vilém
7 Jockusch, Carl G. jun.
7 Klop, Jan Willem
7 Lewis, Alain A.
5 Bergstra, Jan A.
5 Greenberg, Noam
5 Hetzl, Stefan
5 Kanamori, Akihiro
5 Miller, Joseph S.
5 Patey, Ludovic
5 Selivanov, Viktor L’vovich
5 Shönfield, Joseph R.
4 Ambos-Spies, Klaus
4 Börger, Egon
4 Case, John
4 Cholak, Peter A.
4 Clote, Peter G.
4 Cooper, Stuart Barry
4 Diaconescu, Răzvan
4 Fagin, Ronald
4 Feferman, Solomon
4 Kohlenbach, Ulrich Wilhelm
4 Korovina, Margarita Vladimirovna
4 Kramosil, Ivan
4 Kudinov, Oleg Victorovich
4 Lempp, Steffen
4 Makowsky, Johann-Andreas
4 Posner, David B.
4 Slaman, Theodore A.
4 Soskova, Mariya Ivanova
4 Spreen, Dieter
4 Veloso, Paulo Augusto S.
4 Welch, Lawrence V.
3 Abian, Alexander
3 Avigad, Jeremy
3 Avron, Arnon
3 Becher, Verónica
3 Benioff, Paul A.
3 Berardi, Stefano
3 Boldi, Paolo
3 Cai, Mingzhong
3 Da Costa, Newton Carneiro Affonso
3 Doria, Francisco Antonio
3 Ferreira, Fernando
3 Finkel, Olivier
3 Friedman, Harvey M.
3 Kahle, Reinhard
3 Kalantari, Iraj
3 Kanovei, Vladimir G.
3 Knight, Julia F.
3 Lachlan, Alistair H.
3 Lerman, Manuel
3 Lucio-Carrasco, Francisca
3 Manzano, María
3 Meseguer Guaita, José
3 Miller, Russell G.
3 Mundici, Daniele
3 Odifreddi, Piergiorgio
3 Peretyat’kin, Mikhail G.
3 Saarela, Aleksi
3 Schuster, Peter Michael
3 Schwartz, Daniel G.
3 Simpson, Stephen G.
3 Stob, Michael
3 Subrahmanian, V. S.
3 Talagrand, Michel
3 Tohmé, Fernando A.
3 Vierling, Jannik
3 Vigna, Sebastiano
3 Voda, Paul J.
3 Wessel, Daniel
3 Wirsing, Martin
2 Ajtai, Miklós
2 Alberti, Francesco
2 Alonso, Enrique
2 Alton, Donald A.
2 Andrews, Uri
2 Apt, Krzysztof Rafal
2 Arslanov, Marat M.
2 Babenko, S. P.
2 Bad’in, A. V.
2 Bakhshi, Rena
2 Baldwin, John T.
2 Barmpalias, George
2 Baur, Walter
2 Bezem, Marc
2 Biskup, Joachim
2 Blass, Andreas Raphael
2 Blechschmidt, Ingo
2 Bonatti, Piero Andrea
2 Brown, Allen L. jun.
2 Bürckert, Hans Jürgen
2 Çevik, Ahmet Sinan
2 Cheng, Yong
2 Chernov, V. P.
2 Clavel, Manuel
...and 634 more Authors
all top 5

Cited in 148 Serials

63 Annals of Pure and Applied Logic
60 Theoretical Computer Science
51 The Journal of Symbolic Logic
22 Transactions of the American Mathematical Society
22 Archive for Mathematical Logic
20 Israel Journal of Mathematics
17 Archiv für Mathematische Logik und Grundlagenforschung
14 Proceedings of the American Mathematical Society
14 The Bulletin of Symbolic Logic
11 Information Processing Letters
11 Journal of Computer and System Sciences
11 Journal of Philosophical Logic
11 Studia Logica
9 Artificial Intelligence
8 Fuzzy Sets and Systems
8 Synthese
8 Information and Computation
7 Journal of Pure and Applied Algebra
7 Notre Dame Journal of Formal Logic
7 Mathematical Social Sciences
7 Mathematical Logic Quarterly (MLQ)
7 Logica Universalis
6 Acta Informatica
6 Advances in Mathematics
6 Algebra and Logic
6 Journal of Algebra
6 Kybernetika
6 Bulletin of the American Mathematical Society
5 Journal of Automated Reasoning
5 The Review of Symbolic Logic
4 Compositio Mathematica
4 History and Philosophy of Logic
4 Journal of Symbolic Computation
4 MSCS. Mathematical Structures in Computer Science
4 Journal of Mathematical Sciences (New York)
4 Annals of Mathematics and Artificial Intelligence
4 Journal of Mathematical Logic
4 Logical Methods in Computer Science
3 Lithuanian Mathematical Journal
3 Algebra Universalis
3 Annali di Matematica Pura ed Applicata. Serie Quarta
3 Journal of Mathematical Economics
3 Mathematica Slovaca
3 Publications of the Research Institute for Mathematical Sciences, Kyoto University
3 Theory of Computing Systems
2 International Journal of General Systems
2 International Journal of Theoretical Physics
2 Periodica Mathematica Hungarica
2 The Mathematical Intelligencer
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 Combinatorial Theory. Series A
2 Journal of Combinatorial Theory. Series B
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 Journal of Complexity
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 Matematicheskie Trudy
2 Communications in Contemporary Mathematics
2 Logic and Logical Philosophy
2 Theory and Practice of Logic Programming
2 Comptes Rendus. Mathématique. Académie des Sciences, Paris
2 Quantum Information Processing
2 ACM Transactions on Computational Logic
2 Journal of Applied Logic
2 Advances and Applications in Discrete Mathematics
2 Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
2 Computability
2 Journal of Logical and Algebraic Methods in Programming
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 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 Revista Colombiana de Matemáticas
1 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
1 Bulletin of the Section of Logic
...and 48 more Serials
all top 5

Cited in 42 Fields

526 Mathematical logic and foundations (03-XX)
207 Computer science (68-XX)
26 General topology (54-XX)
19 History and biography (01-XX)
16 Combinatorics (05-XX)
16 Group theory and generalizations (20-XX)
16 Measure and integration (28-XX)
15 Order, lattices, ordered algebraic structures (06-XX)
14 Category theory; homological algebra (18-XX)
14 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
12 Number theory (11-XX)
11 Field theory and polynomials (12-XX)
10 General and overarching topics; collections (00-XX)
10 Functional analysis (46-XX)
10 Quantum theory (81-XX)
9 General algebraic systems (08-XX)
8 Commutative algebra (13-XX)
8 Geometry (51-XX)
7 Real functions (26-XX)
5 Probability theory and stochastic processes (60-XX)
5 Information and communication theory, circuits (94-XX)
4 Algebraic geometry (14-XX)
4 Operator theory (47-XX)
4 Statistics (62-XX)
4 Numerical analysis (65-XX)
2 Linear and multilinear algebra; matrix theory (15-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 \(K\)-theory (19-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

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.