R. Omanadze

On Some Properties of r-Maximal Sets and Q_1-N-Reducibility

abstract:
It is shown that if M₁, M₂ are r-maximal sets and if M₁ is (Q_1-N)-equivalent to M₂, then M₁ is m-equivalent to M₂. In addition, we prove that there exists a simultaneously Q_1-N- and W-complete recursively enumerable set which is not sQ-complete.