Article contents
Tiering as a Recursion Technique
Published online by Cambridge University Press: 15 January 2014
Abstract
I survey the syntactic technique of tiering which can be used to restrict the power of a recursion scheme. I show how various results can be obtained entirely proof theoretically without the use of a model of computation.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2005
References
REFERENCES
- 6
- Cited by