×

zbMATH — the first resource for mathematics

Shönfield, Joseph R.

Compute Distance To:
Author ID: shonfield.joseph-r Recent zbMATH articles by "Shönfield, Joseph R."
Published as: Shoenfield, J.; Shoenfield, J. R.; Shoenfield, Joseph R.; Shönfield, J. R.; Shönfield, Joseph R.
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 40 Publications since 1954, including 7 Books
Biographic References: 1 Publication

Co-Authors

36 single-authored
4 Kreisel, Georg
3 Lacombe, Daniel
1 Wang, Hao

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 588 times in 549 Documents Cited by Year
Mathematical logic. Zbl 0155.01102
Shoenfield, Joseph R.
269
1967
On degrees of unsolvability. Zbl 0119.25105
Shoenfield, J. R.
70
1959
Degrees of unsolvability. Zbl 0245.02037
Shoenfield, Joseph R.
45
1971
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R.
22
1959
Mathematical logic. Reprint of the 1967 original. Zbl 0965.03001
Shoenfield, Joseph R.
20
2001
Martin’s axiom. Zbl 0314.02069
Shoenfield, J. R.
15
1975
Degrees of classes of RE sets. Zbl 0366.02029
Shoenfield, J. R.
14
1976
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Unramified forcing. Zbl 0245.02056
Shoenfield, J. R.
13
1971
Applications of model theory to degrees of unsolvability. Zbl 0192.05204
Shoenfield, J. R.
11
1965
Degrees of models. Zbl 0105.24801
Shoenfield, J. R.
10
1960
On a restricted \(\omega\)-rule. Zbl 0095.00803
Shoenfield, J. R.
9
1959
Quasicreative sets. Zbl 0080.24401
Shönfield, J. R.
9
1957
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J.
8
1960
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
The mathematical work of S. C. Kleene. Zbl 0829.03003
Shoenfield, J. R.
5
1995
Non-bounding constructions. Zbl 0714.03035
Shoenfield, J. R.
5
1990
Undecidable and creative theories. Zbl 0096.24302
Shoenfield, J. R.
5
1961
Open sentences and the induction axiom. Zbl 0085.24505
Shoenfield, J. R.
5
1958
The problem of predicativity. Zbl 0173.00903
Shoenfield, J. R.
4
1962
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
Degrees of formal systems. Zbl 0093.01301
Shoenfield, J. R.
3
1959
Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702
Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R.
3
1957
The decision problem for recursively enumerable degrees. Zbl 0339.02043
Shoenfield, J. R.
2
1975
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
An uncountable set of incomparable degrees. Zbl 0109.24105
Shoenfield, J. R.
1
1960
The class of recursive functions. Zbl 0087.25202
Shoenfield, J. R.
1
1958
Mathematical logic. Reprint of the 1967 original. Zbl 0965.03001
Shoenfield, Joseph R.
20
2001
The mathematical work of S. C. Kleene. Zbl 0829.03003
Shoenfield, J. R.
5
1995
Non-bounding constructions. Zbl 0714.03035
Shoenfield, J. R.
5
1990
Degrees of classes of RE sets. Zbl 0366.02029
Shoenfield, J. R.
14
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.
45
1971
Unramified forcing. Zbl 0245.02056
Shoenfield, J. R.
13
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.
269
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 problem of predicativity. Zbl 0173.00903
Shoenfield, J. R.
4
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.
5
1961
Degrees of models. Zbl 0105.24801
Shoenfield, J. R.
10
1960
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J.
8
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.
22
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.
4
1959
Degrees of formal systems. Zbl 0093.01301
Shoenfield, J. R.
3
1959
Open sentences and the induction axiom. Zbl 0085.24505
Shoenfield, J. R.
5
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 610 Authors

12 Downey, Rodney Graham
10 Shore, Richard A.
9 Novák, Vilém
9 Soare, Robert I.
7 Lewis, Alain A.
6 Endrullis, Jörg
6 Jockusch, Carl G. jun.
5 Patey, Ludovic
5 Shönfield, Joseph R.
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 Klop, Jan Willem
4 Kohlenbach, Ulrich Wilhelm
4 Kramosil, Ivan
4 Lempp, Steffen
4 Meseguer Guaita, José
4 Selivanov, Viktor L’vovich
4 Slaman, Theodore A.
4 Stob, Michael
4 Veloso, Paulo Augusto S.
3 Abian, Alexander
3 Ambos-Spies, Klaus
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 Hetzl, Stefan
3 Kanamori, Akihiro
3 Korovina, Margarita Vladimirovna
3 Kudinov, Oleg Victorovich
3 Lerman, Manuel
3 Makowsky, Johann-Andreas
3 Manzano, María
3 Odifreddi, Piergiorgio
3 Posner, David B.
3 Schwartz, Daniel G.
3 Simpson, Stephen G.
3 Spreen, Dieter
3 Talagrand, Michel
3 Tohmé, Fernando A.
3 Wirsing, Martin
2 Ajtai, Miklós
2 Alberti, Francesco
2 Alonso, Enrique
2 Alton, Donald A.
2 Apt, Krzysztof Rafal
2 Barmpalias, George
2 Baur, Walter
2 Bezem, Marc
2 Boldi, Paolo
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 Fejer, Peter A.
2 Ferreira, Fernando
2 Freire, Rodrigo A.
2 Geuvers, Jan Herman
2 Ghilardi, Silvio
2 Greenberg, Noam
2 Grigorieff, Serge
2 Guelev, Dimitar P.
2 Hájek, Petr
2 Halpern, Joseph Yehuda
2 Hay, Louise
2 Hechler, Stephen Herman
2 Hertling, Peter H.
2 Hodges, Wilfrid
2 Hortala-Gonzalez, Maria Teresa
2 Hung, Dang Van
2 Jain, Sanjay
2 Juhász, István
2 Kahle, Reinhard
2 Kanovei, Vladimir G.
2 Karhumaki, Juhani
2 Kechris, Alexander S.
2 Kleine Büning, Hans
2 Knight, Julia F.
2 Krylov, Sergeĭ Mikhaĭlovich
2 Kumabe, Masahiro
2 Lachlan, Alistair H.
2 Li, Angsheng
2 Lisovik, Leonid P.
2 Lucio-Carrasco, Francisca
...and 510 more Authors
all top 5

Cited in 124 Serials

56 Annals of Pure and Applied Logic
54 Theoretical Computer Science
48 The Journal of Symbolic Logic
22 Transactions of the American Mathematical Society
17 Archiv für Mathematische Logik und Grundlagenforschung
16 Archive for Mathematical Logic
14 Proceedings of the American Mathematical Society
11 Information Processing Letters
9 Israel Journal of Mathematics
9 Journal of Philosophical Logic
8 Artificial Intelligence
8 Fuzzy Sets and Systems
8 Journal of Computer and System Sciences
7 Studia Logica
7 Synthese
7 Mathematical Social Sciences
7 Information and Computation
7 The Bulletin of Symbolic Logic
6 Journal of Pure and Applied Algebra
6 Kybernetika
6 Bulletin of the American Mathematical Society
5 Acta Informatica
5 Advances in Mathematics
5 Journal of Algebra
5 Notre Dame Journal of Formal Logic
5 Journal of Automated Reasoning
5 Logica Universalis
4 Algebra and Logic
4 Compositio Mathematica
4 History and Philosophy of Logic
4 Journal of Symbolic Computation
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 MSCS. Mathematical Structures in Computer Science
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 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 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 Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
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 A
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
1 Mémoires de la Société Mathématique de France. Nouvelle Série
1 Indagationes Mathematicae. New Series
...and 24 more Serials
all top 5

Cited in 40 Fields

407 Mathematical logic and foundations (03-XX)
169 Computer science (68-XX)
17 General topology (54-XX)
16 History and biography (01-XX)
15 Combinatorics (05-XX)
14 Measure and integration (28-XX)
14 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
12 Category theory; homological algebra (18-XX)
12 Group theory and generalizations (20-XX)
11 Order, lattices, ordered algebraic structures (06-XX)
9 Number theory (11-XX)
8 General and overarching topics; collections (00-XX)
8 Field theory and polynomials (12-XX)
7 General algebraic systems (08-XX)
7 Commutative algebra (13-XX)
7 Quantum theory (81-XX)
5 Real functions (26-XX)
5 Functional analysis (46-XX)
5 Probability theory and stochastic processes (60-XX)
4 Algebraic geometry (14-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 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 Associative rings and algebras (16-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)
1 Algebraic topology (55-XX)
1 Manifolds and cell complexes (57-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.