Publisher
Springer Science and Business Media LLC
Reference4 articles.
1. Dick Epstein,The Undecidability of Theories of Degrees of Unsolvability, Mathematics Department, Victoria University of Wellington, Wellington, New Zealand, 1977.
2. Carl G. Jockusch, Jr. and Robert W. Solovay,Fixed points of jump preserving automorphisms of degrees, Israel J. Math.26 (1977), 91–94.
3. A. H. Lachlan and R. Lebeuf,Countable initial segments of the degrees of unsolvability, J. Symbolic Logic41 (1976), 289–300.
4. Hartley Rogers, Jr.,Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献