scientific article; zbMATH DE number 2236645

zbMath1106.03051MaRDI QIDQ5711896

Stephen G. Simpson

Publication date: 8 December 2005

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

zbMATH Keywords

reverse mathematicsdefinabilityWKLMedvedev complete subsetsrecursively homeomorphic

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Propagation of partial randomness ⋮ Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes ⋮ Relativized depth ⋮ Immunity for Closed Sets ⋮ Medvedev Degrees of Generalized R.E. separating Classes ⋮ Mass problems associated with effectively closed sets ⋮ Cone avoidance and randomness preservation