The low basis theorem in computability theory states that every nonempty <math>\Pi^0_1</math> class contains a set of low degree. It was first proved by Carl Jockusch and Robert I. Soare in 1972.

PropertyValue
dbpprop:abstract
  • The low basis theorem in computability theory states that every nonempty <math>\Pi^0_1</math> class contains a set of low degree. It was first proved by Carl Jockusch and Robert I. Soare in 1972.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • The low basis theorem in computability theory states that every nonempty <math>\Pi^0_1</math> class contains a set of low degree. It was first proved by Carl Jockusch and Robert I. Soare in 1972.
rdfs:label
  • Low basis theorem
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of