Carl Jockusch

Carl Jockusch

Carl Groos Jockusch, Jr. is an American mathematician. He is a professor emeritus at the University of Illinois at Urbana-Champaign. In 1972 Jockusch and Robert I. Soare proved the Low Basis Theorem, an important result in mathematical logic with applications to recursion theory and reverse mathematics.

References

*CG Jockusch, Jr and RI Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972). [http://links.jstor.org/sici?sici=0002-9947(197211)173%3C33%3ACADOT%3E2.0.CO%3B2-O ]

External links

* [http://www.math.uiuc.edu/~jockusch/ Professional homepage]
*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • PA degree — In recursion theory, a mathematical discipline, a PA degree is a Turing degree that computes a complete extension of Peano arithmetic (Jockusch 1987). These degrees are closely related to fixed point free (DNR) functions, and have been thoroughly …   Wikipedia

  • Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français

  • List of forcing notions — In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the extension ); to force a… …   Wikipedia

  • Théorie de Ramsey — La théorie de Ramsey, qui porte le nom de Frank Ramsey, pose typiquement une question de la forme : combien d éléments d une certaine structure doivent être considérés pour qu une propriété particulière se vérifie ? Un adage souvent… …   Wikipédia en Français

  • Robert I. Soare — Robert Irving Soare is an American mathematician. He is currently the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the University of Chicago, where he has been on the faculty since 1967. He proved,… …   Wikipedia

  • Low basis theorem — The low basis theorem in computability theory states that every nonempty Pi^0 1 class contains a set of low degree. It was first proved by Carl Jockusch and Robert I. Soare in 1972. References *Soare, R. Recursively enumerable sets and degrees.… …   Wikipedia

  • List of people by Erdős number — Paul Erdős was one of the most prolific writers of mathematical papers. He collaborated a great deal, having 511 joint authors, a number of whom also have many collaborators. The Erdős number measures the collaborative distance between an author… …   Wikipedia

  • Liste de personnes par nombre d'Erdos — Liste de personnes par nombre d Erdős Liste des personne avec un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Liens externes // …   Wikipédia en Français

  • Liste der Biografien/Jo–Jog — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • Liste de zoologistes — Attention, il n est pas d usage en zoologie d utiliser d abréviation pour les noms des auteurs (contrairement aux usages de la botanique, voir ici). Cette liste ne constitue pas une liste officielle. Nous attirons l attention du lecteur sur son… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”