scientific article; zbMATH DE number 2236645

MaRDI QIDQ5711896zbMATH OpenFDO

Authors Stephen G. Simpson

Publication date 8 December 2005

zbMATH Keywords

definabilityMedvedev complete subsetsrecursively homeomorphicreverse mathematicsWKL

Mathematics Subject Classification ID

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

Recommendations

• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• Some conservation results on weak König's lemma
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• \(\Pi_1^0\) classes and minimal degrees
• Tanaka's theorem revisited

Cited in

(9)

• Cone avoidance and randomness preservation
• \(\mathsf{WKL}_0\) and induction principles in model theory
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Relativized depth
• Immunity for closed sets
• Propagation of partial randomness
• Coding true arithmetic in the Medvedev degrees of ^0_1 classes
• Medvedev degrees of generalized r.e. separating classes
• Mass problems associated with effectively closed sets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5711896)