Hierarchies of Primitive Recursive Functions

✍ Scribed by Charles Parsons

• Publisher: John Wiley and Sons
• Year: 1968
• Tongue: English
• Weight: 972 KB
• Volume: 14
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19680142106

✦ Synopsis

9 Yn), ~1 , * * . ? ~n l then the definition of 97 is of degree max ( p ) q) + 1 . l) l ) We omit from consideration the schema for recursion without pareymeters. It can be accommodated into our arguments by simplified versions of the arguments for (V), or it can be omitted as a primitive schema without affecting the degrees or levels of the functiohs.