Since Post’s problem was solved, theory of degrees of unsolvability has been playing an important role in recursion theory. Our aim is to study non-recursive enumerable degrees. We are interested in minimal degrees, ...Since Post’s problem was solved, theory of degrees of unsolvability has been playing an important role in recursion theory. Our aim is to study non-recursive enumerable degrees. We are interested in minimal degrees, minimal cover and展开更多
文摘Since Post’s problem was solved, theory of degrees of unsolvability has been playing an important role in recursion theory. Our aim is to study non-recursive enumerable degrees. We are interested in minimal degrees, minimal cover and
