Publication:5711896
From MaRDI portal
zbMath1106.03051MaRDI QIDQ5711896
Publication date: 8 December 2005
03D80: Applications of computability and recursion theory
03F35: Second- and higher-order arithmetic and fragments
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
Medvedev Degrees of Generalized R.E. separating Classes, Propagation of partial randomness, Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes, Mass problems associated with effectively closed sets, Cone avoidance and randomness preservation, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Immunity for Closed Sets