Article contents
On recursion theory in IΣ1
Published online by Cambridge University Press: 12 March 2014
Abstract
It is shown that the low basis theorem is meaningful and provable in IΣ1 and that the priority-free solution to Post's problem formalizes in this theory.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1989
References
REFERENCES
- 3
- Cited by