Relationships between reducibilities
HTML articles powered by AMS MathViewer
- by Carl G. Jockusch PDF
- Trans. Amer. Math. Soc. 142 (1969), 229-237 Request permission
References
- K. I. Appel and T. G. McLaughlin, On properties of regressive sets, Trans. Amer. Math. Soc. 115 (1965), 83–93. MR 230616, DOI 10.1090/S0002-9947-1965-0230616-0
- J. C. E. Dekker, A theorem on hypersimple sets, Proc. Amer. Math. Soc. 5 (1954), 791–796. MR 63995, DOI 10.1090/S0002-9939-1954-0063995-6
- J. C. E. Dekker and J. Myhill, Retraceable sets, Canadian J. Math. 10 (1958), 357–373. MR 99292, DOI 10.4153/CJM-1958-035-x
- Patrick C. Fischer, A note on bounded-truth-table reducibility, Proc. Amer. Math. Soc. 14 (1963), 875–877. MR 155757, DOI 10.1090/S0002-9939-1963-0155757-1 C. G. Jockusch, Jr., Reducibilities in recursive function theory, Doctoral Thesis, Massachusetts Institute of Technology, Cambridge, 1966.
- Carl G. Jockusch Jr., Semirecursive sets and positive reducibility, Trans. Amer. Math. Soc. 131 (1968), 420–436. MR 220595, DOI 10.1090/S0002-9947-1968-0220595-7 A. H. Lachlan, Many-one degrees (to appear). M. Lerman, Recursive functions modulo co-maximal sets, Doctoral Thesis, Cornell Univ., Ithaca, N. Y., 1968. D. A. Martin, Measure, category, and degrees of unsolvability (unpublished).
- Webb Miller and D. A. Martin, The degrees of hyperimmune sets, Z. Math. Logik Grundlagen Math. 14 (1968), 159–166. MR 228341, DOI 10.1002/malq.19680140704
- John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 71379, DOI 10.1002/malq.19550010205 A. Nerode, General topology and partial recursive functionals, Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, pp. 247-251.
- Emil L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944), 284–316. MR 10514, DOI 10.1090/S0002-9904-1944-08111-1
- H. G. Rice, Recursive and recursively enumerable orders, Trans. Amer. Math. Soc. 83 (1956), 277–300. MR 83454, DOI 10.1090/S0002-9947-1956-0083454-0
- Hartley Rogers Jr., Theory of recursive functions and effective computability, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0224462
- Robert I. Soare, Recursive theory and Dedekind cuts, Trans. Amer. Math. Soc. 140 (1969), 271–294. MR 242667, DOI 10.1090/S0002-9947-1969-0242667-4
- C. E. M. Yates, Three theorems on the degrees of recursively enumerable sets, Duke Math. J. 32 (1965), 461–468. MR 180486
- Paul R. Young, Linear orderings under one-one reducibility, J. Symbolic Logic 31 (1966), 70–85. MR 231720, DOI 10.2307/2270621
Additional Information
- © Copyright 1969 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 142 (1969), 229-237
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9947-1969-0245439-X
- MathSciNet review: 0245439