Tiering as a Recursion Technique
Harold Simmons · Bulletin of Symbolic Logic · 2005
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.