Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
37 views

Are the $\omega$-generic arithmetic degrees downward closed

A degree is $\alpha$-generic if it has representative that is $\alpha$-generic. Are the $\omega$-generic arithmetic degrees (i.e. the degree structure induced by arithmetic reproducibility) downward ...
Peter Gerdes's user avatar
  • 3,029
3 votes
1 answer
92 views

Does every arithmetic degree below $0^\omega$ have a representative computable in $0^\omega$?

Suppose that $A \leq_a 0^\omega$ (i.e. $A$ is arithmetic in $0^\omega$) does there exist $\widehat{A} \equiv_a A$ with $\widehat{A} \leq_T 0^\omega$ [1]? More generally, say that a set $X$ is aT-...
Peter Gerdes's user avatar
  • 3,029