2006 |
35 | EE | Rodney G. Downey,
Carl G. Jockusch Jr.,
Joseph S. Miller:
On self-embeddings of computable linear orderings.
Ann. Pure Appl. Logic 138(1-3): 52-76 (2006) |
34 | EE | Carl G. Jockusch Jr.,
Angsheng Li:
Restricted jump interpolation in the d.c.e. degrees.
Mathematical Structures in Computer Science 16(5): 841-865 (2006) |
2005 |
33 | EE | Richard Coles,
Rodney G. Downey,
Carl G. Jockusch Jr.,
Geoffrey LaForte:
Completing pseudojump operators.
Ann. Pure Appl. Logic 136(3): 297-333 (2005) |
2002 |
32 | | Carl G. Jockusch Jr.,
Tamara J. Lakins:
Generalized R-Cohesiveness and The Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness".
J. Symb. Log. 67(3): 1078-1082 (2002) |
2001 |
31 | | Peter Cholak,
Carl G. Jockusch Jr.,
Theodore A. Slaman:
On The Strength of Ramsey's Theorem for Pairs.
J. Symb. Log. 66(1): 1-55 (2001) |
30 | | Tamara Lakins Hummel,
Carl G. Jockusch Jr.:
Ramsey's Theorem for Computably Enumerable Colorings.
J. Symb. Log. 66(2): 873-880 (2001) |
1999 |
29 | | Rodney G. Downey,
Carl G. Jockusch Jr.:
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1.
J. Symb. Log. 64(1): 45-52 (1999) |
28 | | Tamara Lakins Hummel,
Carl G. Jockusch Jr.:
Generalized Cohesiveness.
J. Symb. Log. 64(2): 489-516 (1999) |
1998 |
27 | | Rodney G. Downey,
Zoltán Füredi,
Carl G. Jockusch Jr.,
Lee A. Rubel:
Difference Sets and Computability Theory.
Ann. Pure Appl. Logic 93(1-3): 63-72 (1998) |
1997 |
26 | | Carl G. Jockusch Jr.,
Frank Stephan:
Correction to "A Cohesive Set which is not High".
Math. Log. Q. 43: 569 (1997) |
1996 |
25 | | Zoltán Füredi,
Carl G. Jockusch Jr.,
Lee A. Rubel:
Difference Sets and Inverting the Difference Operator.
Combinatorica 16(1): 87-106 (1996) |
1995 |
24 | | Carl G. Jockusch Jr.,
Alexandra Shalpentokh:
Weak Presentation of Computable Fields.
J. Symb. Log. 60(1): 199-208 (1995) |
1994 |
23 | | Carl G. Jockusch Jr.,
Robert I. Soare:
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.
J. Symb. Log. 59(4): 1121-1138 (1994) |
1993 |
22 | | Douglas A. Cenzer,
Rodney G. Downey,
Carl G. Jockusch Jr.,
Richard A. Shore:
Countable Thin Pi01 Classes.
Ann. Pure Appl. Logic 59(2): 79-139 (1993) |
21 | | Carl G. Jockusch Jr.,
Theodore A. Slaman:
On the Sigma2-Theory of the Upper Semilattice of Turing Degrees.
J. Symb. Log. 58(1): 193-204 (1993) |
20 | | P. T. Bateman,
Carl G. Jockusch Jr.,
Alan R. Woods:
Decidability and Undecidability of Theories with a Predicate for the Primes.
J. Symb. Log. 58(2): 672-687 (1993) |
19 | | Frank Stephan,
Carl G. Jockusch Jr.:
A Cohesive Set which is not High.
Math. Log. Q. 39: 515-530 (1993) |
1991 |
18 | | Carl G. Jockusch Jr.,
Robert I. Soare:
Degrees of Orderings Not Isomorphic to Recursive Linear Orderings.
Ann. Pure Appl. Logic 52(1-2): 39-64 (1991) |
17 | | Carl G. Jockusch Jr.,
A. Lewis,
Jeffrey B. Remmel:
Pi01-Classes and Rado's Selection Principle.
J. Symb. Log. 56(2): 684-693 (1991) |
1990 |
16 | | Carl G. Jockusch Jr.,
James C. Owings:
Weakly Semirecursive Sets.
J. Symb. Log. 55(2): 637-644 (1990) |
1989 |
15 | | Carl G. Jockusch Jr.,
Manuel Lerman,
Robert I. Soare,
Robert Solovay:
Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion.
J. Symb. Log. 54(4): 1288-1323 (1989) |
1988 |
14 | | Nicolas D. Goodman,
Harold T. Hodes,
Carl G. Jockusch Jr.,
Kenneth McAloon:
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987.
J. Symb. Log. 53(4): 1287-1299 (1988) |
1984 |
13 | | Carl G. Jockusch Jr.,
Richard Laver,
J. Donald Monk,
Jan Mycielski,
Jon Pearce:
Annual Meeting of the Association for Symbolic Logic: Denver, 1983.
J. Symb. Log. 49(2): 674-682 (1984) |
12 | | Carl G. Jockusch Jr.,
Richard A. Shore:
Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers.
J. Symb. Log. 49(4): 1205-1236 (1984) |
1978 |
11 | | Carl G. Jockusch Jr.,
Robert I. Soare,
William W. Tait,
Gaisi Takeuti:
Meeting of the Association for Symbolic Logic: Chicago, 1977.
J. Symb. Log. 43(3): 614-619 (1978) |
10 | | Carl G. Jockusch Jr.,
David B. Posner:
Double Jumps of Minimal Degrees.
J. Symb. Log. 43(4): 715-724 (1978) |
1974 |
9 | | Carl G. Jockusch Jr.:
Pi01 Classes and Boolean Combinations of Recursively Enumerable Sets.
J. Symb. Log. 39(1): 95-96 (1974) |
1973 |
8 | | Carl G. Jockusch Jr.:
An Application of sigma04 Determinancy to the Degrees of Unsolvability.
J. Symb. Log. 38(2): 293-294 (1973) |
7 | | Carl G. Jockusch Jr.,
Robert I. Soare:
Encodability of Kleene's O.
J. Symb. Log. 38(3): 437-440 (1973) |
6 | | Carl G. Jockusch Jr.,
Robert I. Soare:
Post's Problem and His Hypersimple Set.
J. Symb. Log. 38(3): 446-452 (1973) |
1972 |
5 | | Carl G. Jockusch Jr.:
Ramsey's Theorem and Recursion Theory.
J. Symb. Log. 37(2): 268-280 (1972) |
4 | | Carl G. Jockusch Jr.,
Joseph S. Ullian,
Robert B. Barrett Jr.:
Meeting of the Association for Symbolic Logic: St. Louis 1972.
J. Symb. Log. 37(4): 775-782 (1972) |
1971 |
3 | | Carl G. Jockusch Jr.,
Robert I. Soare:
A Minimal Pair of pi01 Classes.
J. Symb. Log. 36(1): 66-78 (1971) |
1969 |
2 | | Carl G. Jockusch Jr.:
The Degrees of Hyperhyperimmune Sets.
J. Symb. Log. 34(3): 489-493 (1969) |
1968 |
1 | | Carl G. Jockusch Jr.:
Uniformly Introreducible Sets.
J. Symb. Log. 33(4): 521-536 (1968) |