Obserwuj
Carl Jockusch
Carl Jockusch
Professor Emeritus of Mathematics, University of Illinois at Urbana-Champaign
Zweryfikowany adres z math.uiuc.edu
Tytuł
Cytowane przez
Cytowane przez
Rok
Π⁰₁ classes and degrees of theories
CG Jockusch, RI Soare
Transactions of the American Mathematical Society 173, 33-56, 1972
5371972
Semirecursive sets and positive reducibility
CG Jockusch
Transactions of the American Mathematical Society 131 (2), 420-436, 1968
3291968
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
2822001
Ramsey's theorem and recursion theory
CG Jockusch
The Journal of Symbolic Logic 37 (2), 268-280, 1972
2781972
Degrees of members of Π10 classes
C Jockusch, R Soare
Pacific Journal of Mathematics 40 (3), 605-616, 1972
1831972
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
1451984
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
931972
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
772012
On notions of computability-theoretic reduction between principles
DR Hirschfeldt, CG Jockusch Jr
Journal of Mathematical Logic 16 (01), 1650002, 2016
742016
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20