Suivre
Carl Jockusch
Carl Jockusch
Professor Emeritus of Mathematics, University of Illinois at Urbana-Champaign
Adresse e-mail validée de math.uiuc.edu
Titre
Citée par
Citée par
Année
Π⁰₁ classes and degrees of theories
CG Jockusch, RI Soare
Transactions of the American Mathematical Society 173, 33-56, 1972
5391972
Semirecursive sets and positive reducibility
CG Jockusch
Transactions of the American Mathematical Society 131 (2), 420-436, 1968
3301968
On the strength of Ramsey's theorem for pairs
PA Cholak, CG Jockusch, TA Slaman
The Journal of Symbolic Logic 66 (1), 1-55, 2001
2832001
Ramsey's theorem and recursion theory
CG Jockusch
The Journal of Symbolic Logic 37 (2), 268-280, 1972
2791972
Degrees of members of Π10 classes
C Jockusch, R Soare
Pacific Journal of Mathematics 40 (3), 605-616, 1972
1851972
Degrees of generic sets
CG Jockusch, FR Drake, SS Wainer
Recursion Theory: its generalizations and applications, 110-139, 1980
1801980
An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees
K Ambos-Spies, CG Jockusch, RA Shore, RI Soare
Transactions of the American Mathematical Society 281 (1), 109-128, 1984
1661984
Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
CG Jockusch, RA Shore
The Journal of Symbolic Logic 49 (4), 1205-1236, 1984
1461984
Array nonrecursive sets and multiple permitting arguments
R Downey, C Jockusch, M Stob
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG …, 2006
1172006
Every low Boolean algebra is isomorphic to a recursive one
R Downey, CG Jockusch
Proceedings of the American Mathematical Society 122 (3), 871-880, 1994
1171994
Array nonrecursive degrees and genericity
R Downey, C Jockusch, M Stob
Computability, enumerability, unsolvability 224, 93-104, 1996
1031996
Pseudojump operators. I. The re case
CG Jockusch, RA Shore
Transactions of the American Mathematical Society 275 (2), 599-609, 1983
991983
Double jumps of minimal degrees
CG Jockusch, DB Posner
The Journal of Symbolic Logic 43 (4), 715-724, 1978
951978
Degrees in which the recursive sets are uniformly recursive
CG Jockusch
Canadian Journal of Mathematics 24 (6), 1092-1099, 1972
941972
Jumps of orderings
CJ Ash, CG Jockusch, JF Knight
Transactions of the American Mathematical Society 319 (2), 573-599, 1990
901990
A cohesive set which is not high
C Jockusch, F Stephan
Mathematical Logic Quarterly 39 (1), 515-530, 1993
861993
Degrees of functions with no fixed points
CG Jockusch Jr
Studies in Logic and the Foundations of Mathematics 126, 191-201, 1989
851989
Degrees of orderings not isomorphic to recursive linear orderings
CG Jockusch Jr, RI Soare
Annals of pure and applied logic 52 (1-2), 39-64, 1991
841991
Generic computability, Turing degrees, and asymptotic density
CG Jockusch Jr, PE Schupp
Journal of the London Mathematical Society 85 (2), 472-490, 2012
782012
On notions of computability-theoretic reduction between principles
DR Hirschfeldt, CG Jockusch Jr
Journal of Mathematical Logic 16 (01), 1650002, 2016
742016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20