Carl G. Jockusch

University of Illinois Urbana-Champaign — United States

Computer Science · Physical Sciences

30h-index3.4kcitations132works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Computability, Logic, AI Algorithms(90), Advanced Topology and Set Theory(52), semigroups and automata theory(46), Advanced Algebra and Logic(28), Logic, Reasoning, and Knowledge(18)

Publications132 total

Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics
Journal of Mathematical Logic·2023· 2 cited
Dense computability, upper cones, and minimal pairs
Computability·2019· 2 citedOpen Access
The reverse mathematics of Hindman’s Theorem for sums of exactly two elements
Computability·2018Open Access
Free sets and reversemathematics
Cambridge University Press eBooks·2017· 24 cited
Herrmann’s Beautiful Theorem on Computable Partial Orderings
Lecture notes in computer science·2016· 1 cited
Asymptotic Density and the Theory of Computability: A Partial Survey
Lecture notes in computer science·2016· 11 cited
Effectiveness of Hindman’s Theorem for Bounded Sums
Lecture notes in computer science·2016· 2 citedOpen Access
Asymptotic Density and the Theory of Computability: A partial survey
arXiv (Cornell University)·2016Open Access
COARSE REDUCIBILITY AND ALGORITHMIC RANDOMNESS
Journal of Symbolic Logic·2016· 3 citedOpen Access
On notions of computability-theoretic reduction between Π21 principles
Journal of Mathematical Logic·2016· 27 cited
Asymptotic density and the coarse computability bound
Computability·2016· 19 cited
Asymptotic density, computable traceability, and 1-randomness
Fundamenta Mathematicae·2016· 13 cited
Asymptotic density and the coarse computability bound
arXiv (Cornell University)·2015· 2 citedOpen Access
Asymptotic density and the Ershov hierarchy
Mathematical logic quarterly·2015· 11 cited
Cover Picture
Mathematical logic quarterly·2013Open Access
Issue Information
Mathematical logic quarterly·2013Open Access
Diagonally Non-Computable Functions and Bi-Immunity
Journal of Symbolic Logic·2013· 14 cited
Asymptotic density and the Ershov hierarchy
arXiv (Cornell University)·2013· 1 citedOpen Access
Cover Picture
Mathematical logic quarterly·2013Open Access
ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS
Journal of Mathematical Logic·2013· 3 citedOpen Access
page 1 of 7Next →

Frequent Co-authors

Robert I. Soare(8), Richard A. Shore(5), Peter Cholak(3), Theodore A. Slaman(3), Rod Downey(3), Denis R. Hirschfeldt(3), Michael Stob(2), David B. Posner(2), Rodney G. Downey(2), Klaus Ambos‐Spies(1), Frank Stephan(1), C. J. Ash(1), Julia F. Knight(1), T. G. McLaughlin(1), Stephen G. Simpson(1), Damir D. Dzhafarov(1), Bjørn Kjos-Hanssen(1), Steffen Lempp(1), Mariagnese Giusto(1), Jeffry L. Hirst(1)