On complete degrees

Ken Hirose · Proceedings of the Japan Academy Series A Mathematical Sciences · 1965

In his paper 2, R. M. Friedberg proved that a degree of recursive unsolvabil'ity a is complete if and only if a >_-'.The aim of this note is to prove the following: for each degree a, here exis infinitely many independent degrees b0, bl, ..., b, whose com- pleion are a if and oly if a O'.

Read the paper · More papers on PaperTik