scientific article

zbMath0995.03031MaRDI QIDQ2735600

Robert I. Soare

Publication date: 3 September 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

oraclerecursively enumerable setsrecursively enumerable degreeslattice of r.e. setsPost's problemfinite injury priority methoddegree of informationinfinite injury priority methodminimal pair method

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Development of contemporary mathematics (01A65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items

Unnamed Item ⋮ Unnamed Item ⋮ Computability and universal determinability of negatively representable models ⋮ Structures of degrees of negative representations of linear orders ⋮ Polynomially bounded recursive realizability