On the theory of the PTIME degrees of the recursive sets
- 1 December 1990
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 41 (3) , 321-366
- https://doi.org/10.1016/0022-0000(90)90024-f
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Definability in the Turing degreesIllinois Journal of Mathematics, 1986
- The undecidability of the recursively enumerable degreesBulletin of the American Mathematical Society, 1982
- The Theory of the Degrees below 0'Journal of the London Mathematical Society, 1981
- Reducibility orderings: Theories, definability and automorphismsAnnals of Mathematical Logic, 1980
- On the Structure of Polynomial Time ReducibilityJournal of the ACM, 1975
- On Degrees of Recursive UnsolvabilityAnnals of Mathematics, 1956
- The Upper Semi-Lattice of Degrees of Recursive UnsolvabilityAnnals of Mathematics, 1954