Carl G. Jockusch Jr.

55 papers Journal 52Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics. J. Math. Log. Denis R. Hirschfeldt, Carl G. Jockusch Jr., Paul E. Schupp
2019	J	`jnl`	The reverse mathematics of Hindman's Theorem for sums of exactly two elements. Comput. Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick
2017	—	`conf`	Asymptotic Density and the Theory of Computability: A Partial Survey. Computability and Complexity Carl G. Jockusch Jr., Paul E. Schupp
2017	—	`conf`	Effectiveness of Hindman's Theorem for Bounded Sums. Computability and Complexity Damir D. Dzhafarov, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick
2017	—	`conf`	Herrmann's Beautiful Theorem on Computable Partial Orderings. Computability and Complexity Carl G. Jockusch Jr.
2016	J	`jnl`	Asymptotic density and the coarse computability bound. Comput. Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp
2016	J	`jnl`	Coarse Reducibility and Algorithmic Randomness. J. Symb. Log. Denis R. Hirschfeldt, Carl G. Jockusch Jr., Rutger Kuyper, Paul E. Schupp
2016	J	`jnl`	On notions of computability-theoretic reduction between Π21 principles. J. Math. Log. Denis R. Hirschfeldt, Carl G. Jockusch Jr.
2015	J	`jnl`	Asymptotic density and the Ershov hierarchy. Math. Log. Q. Rod Downey, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp
2013	J	`jnl`	Asymptotic density and computably Enumerable Sets. J. Math. Log. Rodney G. Downey, Carl G. Jockusch Jr., Paul E. Schupp
2013	J	`jnl`	Diagonally non-computable functions and bi-immunity. J. Symb. Log. Carl G. Jockusch Jr., Andrew E. M. Lewis
2012	J	`jnl`	Generic computability, Turing degrees, and asymptotic density. J. Lond. Math. Soc. Carl G. Jockusch Jr., Paul E. Schupp
2011	J	`jnl`	Binary subtrees with few labeled paths. Comb. Rodney G. Downey, Noam Greenberg, Carl G. Jockusch Jr., Kevin G. Milans
2009	J	`jnl`	Chains and antichains in partial orderings. Arch. Math. Log. Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight
2009	J	`jnl`	Corrigendum to: "On the strength of Ramsey's Theorem for pairs". J. Symb. Log. Peter Cholak, Theodore A. Slaman, Carl G. Jockusch Jr.
2009	J	`jnl`	Ramsey's theorem and cone avoidance. J. Symb. Log. Damir D. Dzhafarov, Carl G. Jockusch Jr.
2009	J	`jnl`	Stability and posets. J. Symb. Log. Carl G. Jockusch Jr., Bart Kastermans, Steffen Lempp, Manuel Lerman, Reed Solomon
2007	J	`jnl`	Π J. Symb. Log. John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey
2006	J	`jnl`	On self-embeddings of computable linear orderings. Ann. Pure Appl. Log. Rodney G. Downey, Carl G. Jockusch Jr., Joseph S. Miller
2006	J	`jnl`	Restricted jump interpolation in the d.c.e. degrees. Math. Struct. Comput. Sci. Carl G. Jockusch Jr., Angsheng Li
2005	J	`jnl`	Completing pseudojump operators. Ann. Pure Appl. Log. Richard Coles, Rodney G. Downey, Carl G. Jockusch Jr., Geoffrey LaForte
2002	J	`jnl`	Generalized R-Cohesiveness and The Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness". J. Symb. Log. Carl G. Jockusch Jr., Tamara J. Lakins
2001	J	`jnl`	On The Strength of Ramsey's Theorem for Pairs. J. Symb. Log. Peter Cholak, Carl G. Jockusch Jr., Theodore A. Slaman
2001	J	`jnl`	Ramsey's Theorem for Computably Enumerable Colorings. J. Symb. Log. Tamara Lakins Hummel, Carl G. Jockusch Jr.
1999	J	`jnl`	Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1. J. Symb. Log. Rodney G. Downey, Carl G. Jockusch Jr.
1999	J	`jnl`	Generalized Cohesiveness. J. Symb. Log. Tamara Lakins Hummel, Carl G. Jockusch Jr.
1998	J	`jnl`	Difference Sets and Computability Theory. Ann. Pure Appl. Log. Rodney G. Downey, Zoltán Füredi, Carl G. Jockusch Jr., Lee A. Rubel
1997	J	`jnl`	Correction to "A Cohesive Set which is not High". Math. Log. Q. Carl G. Jockusch Jr., Frank Stephan
1996	J	`jnl`	Difference Sets and Inverting the Difference Operator. Comb. Zoltán Füredi, Carl G. Jockusch Jr., Lee A. Rubel
1995	J	`jnl`	Weak Presentation of Computable Fields. J. Symb. Log. Carl G. Jockusch Jr., Alexandra Shalpentokh
1994	J	`jnl`	Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. J. Symb. Log. Carl G. Jockusch Jr., Robert I. Soare
1993	J	`jnl`	A Cohesive Set which is not High. Math. Log. Q. Frank Stephan, Carl G. Jockusch Jr.
1993	J	`jnl`	Countable Thin Pi Ann. Pure Appl. Log. Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore
1993	J	`jnl`	Decidability and Undecidability of Theories with a Predicate for the Primes. J. Symb. Log. P. T. Bateman, Carl G. Jockusch Jr., Alan R. Woods
1993	J	`jnl`	On the Sigma J. Symb. Log. Carl G. Jockusch Jr., Theodore A. Slaman
1991	J	`jnl`	Degrees of Orderings Not Isomorphic to Recursive Linear Orderings. Ann. Pure Appl. Log. Carl G. Jockusch Jr., Robert I. Soare
1991	J	`jnl`	Pi J. Symb. Log. Carl G. Jockusch Jr., Andrew E. M. Lewis, Jeffrey B. Remmel
1990	J	`jnl`	Weakly Semirecursive Sets. J. Symb. Log. Carl G. Jockusch Jr., James C. Owings
1989	J	`jnl`	Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion. J. Symb. Log. Carl G. Jockusch Jr., Manuel Lerman, Robert I. Soare, Robert Solovay
1988	J	`jnl`	Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. J. Symb. Log. Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon
1984	J	`jnl`	Annual Meeting of the Association for Symbolic Logic: Denver, 1983. J. Symb. Log. Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce
1984	J	`jnl`	Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers. J. Symb. Log. Carl G. Jockusch Jr., Richard A. Shore
1980	J	`jnl`	Fine Degrees of Word Problems of Cancellation Semigroups. Math. Log. Q. Carl G. Jockusch Jr.
1978	J	`jnl`	Double Jumps of Minimal Degrees. J. Symb. Log. Carl G. Jockusch Jr., David B. Posner
1978	J	`jnl`	Meeting of the Association for Symbolic Logic: Chicago, 1977. J. Symb. Log. Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti
1976	J	`jnl`	Completely Autoreducible Degrees. Math. Log. Q. Carl G. Jockusch Jr., Michael S. Paterson
1974	J	`jnl`	Pi J. Symb. Log. Carl G. Jockusch Jr.
1973	J	`jnl`	An Application of sigma J. Symb. Log. Carl G. Jockusch Jr.
1973	J	`jnl`	Encodability of Kleene's O. J. Symb. Log. Carl G. Jockusch Jr., Robert I. Soare
1973	J	`jnl`	Post's Problem and His Hypersimple Set. J. Symb. Log. Carl G. Jockusch Jr., Robert I. Soare
1972	J	`jnl`	Meeting of the Association for Symbolic Logic: St. Louis 1972. J. Symb. Log. Carl G. Jockusch Jr., Joseph S. Ullian, Robert B. Barrett Jr.
1972	J	`jnl`	Ramsey's Theorem and Recursion Theory. J. Symb. Log. Carl G. Jockusch Jr.
1971	J	`jnl`	A Minimal Pair of pi J. Symb. Log. Carl G. Jockusch Jr., Robert I. Soare
1969	J	`jnl`	The Degrees of Hyperhyperimmune Sets. J. Symb. Log. Carl G. Jockusch Jr.
1968	J	`jnl`	Uniformly Introreducible Sets. J. Symb. Log. Carl G. Jockusch Jr.