Carl G. Jockusch Jr.

Publication Activity (10 Years)

Years Active: 1968-2019
Publications (10 Years): 7

Top Topics

Expected Values

Multiresolution

Worst Case Analysis

Top Venues

Computability and Complexity

Publications

Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick
The reverse mathematics of Hindman's Theorem for sums of exactly two elements. Comput. 8 (3-4) (2019)
Damir D. Dzhafarov, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick
Effectiveness of Hindman's Theorem for Bounded Sums. Computability and Complexity (2017)
Carl G. Jockusch Jr., Paul E. Schupp
Asymptotic Density and the Theory of Computability: A Partial Survey. Computability and Complexity (2017)
Carl G. Jockusch Jr.
Herrmann's Beautiful Theorem on Computable Partial Orderings. Computability and Complexity (2017)
Denis R. Hirschfeldt, Carl G. Jockusch Jr.
On notions of computability-theoretic reduction between Π21 principles. J. Math. Log. 16 (1) (2016)
Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp
Asymptotic density and the coarse computability bound. Comput. 5 (1) (2016)
Denis R. Hirschfeldt, Carl G. Jockusch Jr., Rutger Kuyper, Paul E. Schupp
Coarse Reducibility and Algorithmic Randomness. J. Symb. Log. 81 (3) (2016)
Rod Downey, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp
Asymptotic density and the Ershov hierarchy. Math. Log. Q. 61 (3) (2015)
Carl G. Jockusch Jr., Andrew E. M. Lewis
Diagonally non-computable functions and bi-immunity. J. Symb. Log. 78 (3) (2013)
Rodney G. Downey, Carl G. Jockusch Jr., Paul E. Schupp
Asymptotic density and computably Enumerable Sets. J. Math. Log. 13 (2) (2013)
Carl G. Jockusch Jr., Paul E. Schupp
Generic computability, Turing degrees, and asymptotic density. J. Lond. Math. Soc. 85 (2) (2012)
Rodney G. Downey, Noam Greenberg, Carl G. Jockusch Jr., Kevin G. Milans
Binary subtrees with few labeled paths. Comb. 31 (3) (2011)
Carl G. Jockusch Jr., Bart Kastermans, Steffen Lempp, Manuel Lerman, Reed Solomon
Stability and posets. J. Symb. Log. 74 (2) (2009)
Peter Cholak, Theodore A. Slaman, Carl G. Jockusch Jr.
Corrigendum to: "On the strength of Ramsey's Theorem for pairs". J. Symb. Log. 74 (4) (2009)
Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight
Chains and antichains in partial orderings. Arch. Math. Log. 48 (1) (2009)
Damir D. Dzhafarov, Carl G. Jockusch Jr.
Ramsey's theorem and cone avoidance. J. Symb. Log. 74 (2) (2009)
John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey
classes and strong degree spectra of relations. J. Symb. Log. 72 (3) (2007)
Carl G. Jockusch Jr., Angsheng Li
Restricted jump interpolation in the d.c.e. degrees. Math. Struct. Comput. Sci. 16 (5) (2006)
Rodney G. Downey, Carl G. Jockusch Jr., Joseph S. Miller
On self-embeddings of computable linear orderings. Ann. Pure Appl. Log. 138 (1-3) (2006)
Richard Coles, Rodney G. Downey, Carl G. Jockusch Jr., Geoffrey LaForte
Completing pseudojump operators. Ann. Pure Appl. Log. 136 (3) (2005)
Carl G. Jockusch Jr., Tamara J. Lakins
Generalized R-Cohesiveness and The Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness". J. Symb. Log. 67 (3) (2002)
Peter Cholak, Carl G. Jockusch Jr., Theodore A. Slaman
On The Strength of Ramsey's Theorem for Pairs. J. Symb. Log. 66 (1) (2001)
Tamara Lakins Hummel, Carl G. Jockusch Jr.
Ramsey's Theorem for Computably Enumerable Colorings. J. Symb. Log. 66 (2) (2001)
Tamara Lakins Hummel, Carl G. Jockusch Jr.
Generalized Cohesiveness. J. Symb. Log. 64 (2) (1999)
Rodney G. Downey, Carl G. Jockusch Jr.
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1. J. Symb. Log. 64 (1) (1999)
Rodney G. Downey, Zoltán Füredi, Carl G. Jockusch Jr., Lee A. Rubel
Difference Sets and Computability Theory. Ann. Pure Appl. Log. 93 (1-3) (1998)
Carl G. Jockusch Jr., Frank Stephan
Correction to "A Cohesive Set which is not High". Math. Log. Q. 43 (1997)
Zoltán Füredi, Carl G. Jockusch Jr., Lee A. Rubel
Difference Sets and Inverting the Difference Operator. Comb. 16 (1) (1996)
Carl G. Jockusch Jr., Alexandra Shalpentokh
Weak Presentation of Computable Fields. J. Symb. Log. 60 (1) (1995)
Carl G. Jockusch Jr., Robert I. Soare
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. J. Symb. Log. 59 (4) (1994)
Carl G. Jockusch Jr., Theodore A. Slaman
-Theory of the Upper Semilattice of Turing Degrees. J. Symb. Log. 58 (1) (1993)
Frank Stephan, Carl G. Jockusch Jr.
A Cohesive Set which is not High. Math. Log. Q. 39 (1993)
Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore
Classes. Ann. Pure Appl. Log. 59 (2) (1993)
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) (1993)
Carl G. Jockusch Jr., Andrew E. M. Lewis, Jeffrey B. Remmel
-Classes and Rado's Selection Principle. J. Symb. Log. 56 (2) (1991)
Carl G. Jockusch Jr., Robert I. Soare
Degrees of Orderings Not Isomorphic to Recursive Linear Orderings. Ann. Pure Appl. Log. 52 (1-2) (1991)
Carl G. Jockusch Jr., James C. Owings
Weakly Semirecursive Sets. J. Symb. Log. 55 (2) (1990)
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) (1989)
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) (1988)
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) (1984)
Carl G. Jockusch Jr., Richard A. Shore
Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers. J. Symb. Log. 49 (4) (1984)
Carl G. Jockusch Jr.
Fine Degrees of Word Problems of Cancellation Semigroups. Math. Log. Q. 26 (1-6) (1980)
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) (1978)
Carl G. Jockusch Jr., David B. Posner
Double Jumps of Minimal Degrees. J. Symb. Log. 43 (4) (1978)
Carl G. Jockusch Jr., Michael S. Paterson
Completely Autoreducible Degrees. Math. Log. Q. 22 (1) (1976)
Carl G. Jockusch Jr.
Classes and Boolean Combinations of Recursively Enumerable Sets. J. Symb. Log. 39 (1) (1974)
Carl G. Jockusch Jr., Robert I. Soare
Post's Problem and His Hypersimple Set. J. Symb. Log. 38 (3) (1973)
Carl G. Jockusch Jr., Robert I. Soare
Encodability of Kleene's O. J. Symb. Log. 38 (3) (1973)
Carl G. Jockusch Jr.
Determinancy to the Degrees of Unsolvability. J. Symb. Log. 38 (2) (1973)
Carl G. Jockusch Jr.
Ramsey's Theorem and Recursion Theory. J. Symb. Log. 37 (2) (1972)
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) (1972)
Carl G. Jockusch Jr., Robert I. Soare
Classes. J. Symb. Log. 36 (1) (1971)
Carl G. Jockusch Jr.
The Degrees of Hyperhyperimmune Sets. J. Symb. Log. 34 (3) (1969)
Carl G. Jockusch Jr.
Uniformly Introreducible Sets. J. Symb. Log. 33 (4) (1968)