×

Shönfield, Joseph R.

Compute Distance To:
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

33 Publications have been cited 587 times in 564 Documents Cited by Year
Mathematical logic. Zbl 0155.01102
Shoenfield, Joseph R.
272
1967
On degrees of unsolvability. Zbl 0119.25105
Shoenfield, J. R.
70
1959
Degrees of unsolvability. Zbl 0245.02037
Shoenfield, Joseph R.
34
1971
Mathematical logic. Reprint of the 1967 original. Zbl 0965.03001
Shoenfield, Joseph R.
23
2001
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R.
21
1959
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
Unramified forcing. Zbl 0245.02056
Shoenfield, J. R.
15
1971
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Degrees of models. Zbl 0105.24801
Shoenfield, J. R.
11
1960
Applications of model theory to degrees of unsolvability. Zbl 0192.05204
Shoenfield, J. R.
11
1965
Quasicreative sets. Zbl 0080.24401
Shö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.00803
Shoenfield, J. R.
9
1959
Open sentences and the induction axiom. Zbl 0085.24505
Shoenfield, J. R.
7
1958
A relative consistency proof. Zbl 0055.00404
Shoenfield, Joseph R.
7
1954
A theorem on minimal degrees. Zbl 0202.30904
Shoenfield, J. R.
7
1966
Degrees of formal systems. Zbl 0093.01301
Shoenfield, J. R.
5
1959
Undecidable and creative theories. Zbl 0096.24302
Shoenfield, J. R.
5
1961
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
The form of the negation of a predicate. Zbl 0143.01301
Shoenfield, J. R.
4
1962
On the independence of the axiom of constructibility. Zbl 0201.32702
Shoenfield, J. R.
4
1959
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J.
4
1960
Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702
Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R.
3
1957
The problem of predicativity. Zbl 0173.00903
Shoenfield, J. R.
3
1962
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
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.03039
Shoenfield, Joseph R.
1
1993
An uncountable set of incomparable degrees. Zbl 0109.24105
Shoenfield, J. R.
1
1960
A hierarchy based on a type two object. Zbl 0191.30502
Shoenfield, J. R.
1
1968
Mathematical logic. Reprint of the 1967 original. Zbl 0965.03001
Shoenfield, Joseph R.
23
2001
The mathematical work of S. C. Kleene. Zbl 0829.03003
Shoenfield, J. R.
5
1995
Recursion theory. Zbl 0789.03039
Shoenfield, Joseph R.
1
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
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.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.
34
1971
Unramified forcing. Zbl 0245.02056
Shoenfield, J. R.
15
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.
272
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.
11
1965
The form of the negation of a predicate. Zbl 0143.01301
Shoenfield, J. R.
4
1962
The problem of predicativity. Zbl 0173.00903
Shoenfield, J. R.
3
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.
5
1961
Degrees of models. Zbl 0105.24801
Shoenfield, J. R.
11
1960
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J.
4
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.
70
1959
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R.
21
1959
On a restricted \(\omega\)-rule. Zbl 0095.00803
Shoenfield, J. R.
9
1959
Degrees of formal systems. Zbl 0093.01301
Shoenfield, J. R.
5
1959
On the independence of the axiom of constructibility. Zbl 0201.32702
Shoenfield, J. R.
4
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 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

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