Article contents
Two variable implicational calculi of prescribed many-one degrees of unsolvability
Published online by Cambridge University Press: 12 March 2014
Abstract
A constructive proof is given which shows that every nonrecursive r.e. many-one degree is represented by the family of decision problems for partial implicational propositional calculi whose well-formed formulas contain at most two distinct variable symbols.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1976
References
REFERENCES
- 2
- Cited by