Concepedia

Carl G. Jockusch

CG

48

Publications

2.7K

Citations

26

H-Index

1968

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Illinois System

University of Chicago

Cornell University

University of Illinois Chicago

Carl G. Jockusch is an author at University of Illinois Urbana-Champaign specializing in discrete mathematics, engineering, and computer science.

Top concepts

EngineeringDiscrete MathematicsComputer ScienceComputational ComplexityAutomated ReasoningTheory Of ComputingProof ComplexityGraph TheoryFormal MethodsMedicine

Publications per year

1968–2016

48

Publications

48

Π⁰₁ classes and degrees of theories

Carl G. Jockusch, Robert I. Soare · Transactions of the American Mathematical Society · 1972 · 348 citations

Math Xmlns, Recursive Function Theory, Engineering +10

Semirecursive sets and positive reducibility

Carl G. Jockusch · Transactions of the American Mathematical Society · 1968 · 251 citations · Full text

Ramsey's theorem and recursion theory

Carl G. Jockusch · Journal of Symbolic Logic · 1972 · 210 citations

N -Element Subsets, Graph Theory, Computability Theory +8

On the strength of Ramsey's theorem for pairs

Peter Cholak, Carl G. Jockusch, Theodore A. Slaman · Journal of Symbolic Logic · 2001 · 207 citations

Theory Of Computing, Combinatorics On Word, Effective Content +11

Degrees of members of Π<sub>1</sub><sup>0</sup>classes

Carl G. Jockusch, Robert I. Soare · Pacific Journal of Mathematics · 1972 · 139 citations · Full text

Theoretical Mathematics

Rows per page

1–5 of 48