✦ LIBER ✦

Comparing Hierarchies of Primitive Recursive Sequence Functions

✍ Scribed by E. Fachini; A. Maggiolo-Schettini

Publisher: John Wiley and Sons
Year: 1982
Tongue: English
Weight: 880 KB
Volume: 28
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19820282705

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchies of Primitive Recursive Funct

Hierarchies of Primitive Recursive Functions

✍ Charles Parsons 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 972 KB

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 w

Equivalence of some Hierarchies of Primi

Equivalence of some Hierarchies of Primitive Recursive Functions

✍ Keith Harrow 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 568 KB

A Hierarchy of Primitive Recursive Funct

A Hierarchy of Primitive Recursive Functions

✍ J. P. Cleave 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 758 KB

Plain Bases for Classes of Primitive Rec

Plain Bases for Classes of Primitive Recursive Functions

✍ Stefano Mazzanti 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 180 KB 👁 1 views

On the Algebraic Structure of Primitive

On the Algebraic Structure of Primitive Recursive Functions

✍ István Szalkai 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 349 KB

On the proof theory of type two function

On the proof theory of type two functionals based on primitive recursive operations

✍ David Steiner; Thomas Strahm 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 209 KB

## Abstract This paper is a companion to work of Feferman, Jäger, Glaß, and Strahm on the proof theory of the type two functionals __μ__ and E~1~ in the context of Feferman‐style applicative theories. In contrast to the previous work, we analyze these two functionals in the context of Schlüter's we