×

zbMATH — the first resource for mathematics

Spector, Clifford

Compute Distance To:
Author ID: spector.clifford Recent zbMATH articles by "Spector, Clifford"
Published as: Spector, C.; Spector, Clifford
Documents Indexed: 10 Publications since 1955

Co-Authors

8 single-authored
2 Feferman, Solomon

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 243 times in 217 Documents Cited by Year
On degrees of recursive unsolvability. Zbl 0074.01302
Spector, Clifford
81
1956
Recursive well-orderings. Zbl 0067.00303
Spector, Clifford
56
1955
Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Zbl 0143.25502
Spector, C.
55
1962
Incompleteness along paths in progressions of theories. Zbl 0117.25701
Feferman, S.; Spector, C.
17
1963
Measure-theoretic construction of incomparable hyperdegrees. Zbl 0085.24901
Spector, Clifford
13
1959
Hyperarithmetical quantifiers. Zbl 0098.24301
Spector, C.
12
1960
Inductively defined sets of natural numbers. Zbl 0116.00704
Spector, C.
8
1961
Recursive ordinals and predicative set theory. Zbl 0207.30902
Spector, C.
1
1960
Incompleteness along paths in progressions of theories. Zbl 0117.25701
Feferman, S.; Spector, C.
17
1963
Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Zbl 0143.25502
Spector, C.
55
1962
Inductively defined sets of natural numbers. Zbl 0116.00704
Spector, C.
8
1961
Hyperarithmetical quantifiers. Zbl 0098.24301
Spector, C.
12
1960
Recursive ordinals and predicative set theory. Zbl 0207.30902
Spector, C.
1
1960
Measure-theoretic construction of incomparable hyperdegrees. Zbl 0085.24901
Spector, Clifford
13
1959
On degrees of recursive unsolvability. Zbl 0074.01302
Spector, Clifford
81
1956
Recursive well-orderings. Zbl 0067.00303
Spector, Clifford
56
1955
all top 5

Cited by 191 Authors

16 Kohlenbach, Ulrich Wilhelm
9 Downey, Rodney Graham
9 Montalbán, Antonio
8 Shore, Richard A.
7 Oliva, Paulo
7 Sacks, Gerald E.
7 Slaman, Theodore A.
6 Jockusch, Carl G. jun.
6 Yu, Liang
5 Chong, Chi Tat
5 Putnam, Hilary Whitehall
5 Soare, Robert I.
4 Cooper, Stuart Barry
4 Kleene, Stephen Cole
4 Moschovakis, Yiannis Nicholas
4 Nies, André Otfrid
4 Powell, Thomas M.
4 Shönfield, Joseph R.
3 Bezem, Marc
3 Cenzer, Douglas
3 Cholak, Peter A.
3 Gerhardy, Philipp
3 Greenberg, Noam
3 Hötzel Escardó, Martín
3 Kjos-Hanssen, Bjørn
3 Lewis, Andrew E. M.
3 Pinus, Aleksandr Georgievich
3 Rogers, Hartley jun.
3 Sipoş, Andrei
3 Sorbi, Andrea
3 Stephan, Frank
2 Amstislavskii, V. I.
2 Avigad, Jeremy
2 Barmpalias, George
2 Belyakin, N. V.
2 Brattka, Vasco
2 Clote, Peter G.
2 Diller, Justus
2 Enderton, Herbert B.
2 Fenner, Stephen A.
2 Fujiwara, Makoto
2 Gregoriades, Vassilios
2 Hensel, G.
2 Hernest, Mircea-Dan
2 Homer, Steven
2 Kach, Asher M.
2 Kreisel, Georg
2 Lerman, Manuel
2 Leuştean, Laurenţiu
2 Lewis-Pye, Andrew E. M.
2 MacIntyre, John M.
2 McEvoy, Kevin
2 Miller, Joseph S.
2 Ng, KengMeng
2 Odifreddi, Piergiorgio
2 Safarik, Pavol
2 Sasso, Leonard P. jun.
2 Schütte, Kurt
2 Shinoda, Juichi
2 Thomason, Steven K.
2 Walsh, Sean
2 Yang, Yue
1 Abraham, Uri
1 Aczel, P. H. G.
1 Addison, J. W.
1 Ambos-Spies, Klaus
1 Arslanov, Marat M.
1 Aschieri, Federico
1 Bakhshi, Rena
1 Barendsen, Erik
1 Bazhenov, Nikolaĭ Alekseevich
1 Becher, Verónica
1 Beklemishev, Lev D.
1 Bélanger, David R.
1 Berger, Ulrich
1 Boldi, Paolo
1 Boyd, Richard K.
1 Briseid, Eyvind Martol
1 Buldt, Bernd
1 Cai, Mingzhong
1 Capretta, Venanzio
1 Cellucci, Carlo
1 Chong, Chen-Tai
1 Conidis, Chris J.
1 Crosilla, Laura
1 De Brecht, Matthew
1 Dean, Walter
1 Döpp, Klemens
1 Dzhafarov, Damir D.
1 Endrullis, Jörg
1 Engrácia, Patrícia
1 Feferman, Solomon
1 Fernández Duque, David
1 Ferreira, Fernando
1 Ferreira, Fernando Fagundes
1 Fortnow, Lance J.
1 Franzén, Torkel
1 Friedrich, Wolfgang
1 Gandy, Robin O.
1 Gasarch, William Ian
...and 91 more Authors
all top 5

Cited in 45 Serials

37 Annals of Pure and Applied Logic
35 The Journal of Symbolic Logic
21 Transactions of the American Mathematical Society
10 The Bulletin of Symbolic Logic
8 Archiv für Mathematische Logik und Grundlagenforschung
8 Bulletin of the American Mathematical Society
7 Israel Journal of Mathematics
7 Advances in Mathematics
7 Archive for Mathematical Logic
6 Proceedings of the American Mathematical Society
5 Algebra and Logic
5 Theoretical Computer Science
3 Compositio Mathematica
3 Siberian Mathematical Journal
3 MSCS. Mathematical Structures in Computer Science
3 Mathematical Logic Quarterly (MLQ)
2 Bulletin de la Société Mathématique de France
2 Journal of Computer and System Sciences
2 Journal of Philosophical Logic
2 Memoirs of the American Mathematical Society
2 Nagoya Mathematical Journal
2 Order
2 Logical Methods in Computer Science
1 Acta Informatica
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Periodica Mathematica Hungarica
1 Bulletin of Mathematical Biology
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Journal of Soviet Mathematics
1 Mathematische Annalen
1 Monatshefte für Mathematik
1 Studia Logica
1 Synthese
1 Mathematical Social Sciences
1 Information and Computation
1 Annals of Mathematics and Artificial Intelligence
1 Communications in Contemporary Mathematics
1 Journal of Mathematical Logic
1 Lobachevskii Journal of Mathematics
1 Proceedings of the Japan Academy
1 Annali della Scuola Normale Superiore di Pisa. Scienze Fisiche e Matematiche. III. Ser
1 Logica Universalis
1 The Review of Symbolic Logic
1 Publications of the Research Institute for Mathematical Sciences, Series A
1 Forum of Mathematics, Sigma

Citations by Year