Title: Hierarchies of predicates of finite types
Subjects: Recursive functions, Number theory