\(\Pi_1^0\) classes and minimal degrees

DOI10.1016/S0168-0072(96)00029-2zbMath0952.03051MaRDI QIDQ1368582

Theodore A. Slaman, Marcia J. Groszek

Publication date: 8 January 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

minimal degreeTuring degreeWeak König's Lemma\(\Pi^0_1\) class of reals

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Other Turing degree structures (03D28)

Related Items (3)

Learning Families of Closed Sets in Matroids ⋮ Turing incomparability in Scott sets ⋮ An effectively closed set with no join property*

Cites Work

• On degrees of recursive unsolvability
• A minimal degree less than 0’
• Initial segments of the degrees of unsolvability Part II: minimal degrees

This page was built for publication: \(\Pi_1^0\) classes and minimal degrees