Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy
From MaRDI portal
Publication:1935363
DOI10.1007/s00153-012-0310-yzbMath1261.03132MaRDI QIDQ1935363
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
03D28: Other Turing degree structures
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\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