The ‘almost all’ theory of subrecursive degrees is decidable
We use constructive measure theory to show the decidability of the ‘almost all’ theory of subrecursive degrees. The formulas of this theory are built up using the constant 0 standing for the minimum degree, the functions ∪, ν standing for the join and meet of two degrees respectively, the relation ≤ standing for the reducibility the logical connectives &, ⌍, and the quantifier (for almost all a). An efficient decision procedure is described.
Unable to display preview. Download preview PDF.
- Bishop, E., "Foundations of Constructive Analysis," McGraw Hill, 1967.Google Scholar
- Bishop, E. and H. Cheng, "Constructive Measure Theory," Memoirs of the American Mathematical Society, Number 116, Providence, 1972.Google Scholar
- Constable, R., "Type Two Computational Complexity," 5th ACM STGACT Symposium, 1973.Google Scholar
- Ladner, R., "Polynomial Time Reducibility," 5th ACM SIGACT Symposium, 1973.Google Scholar
- Machtey, M., "Augmented Loop Languages and Classes of Computable Functions," JCSS, 1972, pp. 603–624.Google Scholar
- Mehlhorn, K., "On the Size of Sets of Computable Functions," Proceedings of the 14th IEEE SWAT Symposium, Iowa City, 1973.Google Scholar
- Mehlhorn, K., "The ‘Almost All’ Theory of Subrecursive Degrees is Decidable," Cornell University, Technical Report 73–170, 1973.Google Scholar
- Mehlhorn, K., "Polynomial and Abstract Subrecursive Classes," Proceedings of the 6th ACM SIGACT Symposium on Theory of Computing, Seattle, 1974.Google Scholar
- Meyer, A.R., and D.M. Richie, "A Classification of the Recursive Functions," Zeitschrift fur math. Logik, Vol. 18, 1972.Google Scholar
- Oxtoby, Category and Measure. Google Scholar
- Rogers, H., Jr., Theory of Recursive Functions and Effective Computability, McGraw Hill, 1967.Google Scholar
- Sacks, Degrees of Unsolvability, Annals of Math. Studies, No. 55, Princeton University Press, Princeton, N.J., 1967.Google Scholar
- Stillwell, J., "Decidability of the ‘Almost All’ Theory of Degrees," JSL, Sept. 1972.Google Scholar