𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Algebraic Structure of Primitive Recursive Functions

✍ Scribed by István Szalkai

Publisher
John Wiley and Sons
Year
1985
Tongue
English
Weight
349 KB
Volume
31
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

A Hopf Algebra Structure on Rational Fun
A Hopf Algebra Structure on Rational Functions
✍ L. Verdestar 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 303 KB

We consider an indefinite inner product on the algebra of rational functions over the complex numbers, and we obtain a coproduct, which is dual of the usual multiplication, that gives a structure of infinitesimal coalgebra on the rational functions. We also obtain a representation of the finite dual