Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy

DOI10.1007/S00153-012-0310-YzbMath1261.03132OpenAlexW2007441123MaRDI QIDQ1935363

Ahmet Sinan Cevik

Publication date: 15 February 2013

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-012-0310-y

zbMATH Keywords

Turing jumpjump inversiondegree spectrum\(\Pi^0_1\)-classantibasis theoremjump hierarchy

Mathematics Subject Classification ID

Other Turing degree structures (03D28)

Related Items (2)

An effectively closed set with no join property* ⋮ choice classes

Cites Work

• \(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination
• Degrees of members of \(\Pi_ 1^ 0\) classes
• On degrees of unsolvability
• On the degree spectrum of a $\Pi ^0_1$ class
• A criterion for completeness of degrees of unsolvability
• Degrees of models
• ∏ 0 1 Classes and Degrees of Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy