✦ LIBER ✦

Plain Bases for Classes of Primitive Recursive Functions

✍ Scribed by Stefano Mazzanti

Publisher: John Wiley and Sons
Year: 2002
Tongue: English
Weight: 180 KB
Volume: 48
Category: Article
ISSN: 0044-3050
DOI: 10.1002/1521-3870(200201)48:1<93::aid-malq93>3.0.co;2-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Classes of One-Argument Recursive Functi

Classes of One-Argument Recursive Functions

✍ Nadejda V. Georgieva 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 252 KB 👁 1 views

A Macro Program for the Primitive Recurs

A Macro Program for the Primitive Recursive Functions

✍ Hilbert Levitz; Warren Nichols; Robert F. Smith 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 205 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

Classes of Recursive Functions and Their

Classes of Recursive Functions and Their Index Sets

✍ F. D. Lewis 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 237 KB 👁 1 views

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

Primitive Normal Bases for Towers of Fie

Primitive Normal Bases for Towers of Field Extensions

✍ Dirk Hachenberger 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 114 KB

w3E is called normal over F if its conjugates under the Galois group of E/F form an F-basis of E. For the theory of normal bases we refer to [Ha1].