𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Macro Program for the Primitive Recursive Functions

✍ Scribed by Hilbert Levitz; Warren Nichols; Robert F. Smith

Publisher
John Wiley and Sons
Year
1991
Tongue
English
Weight
205 KB
Volume
37
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

Generalizing the Recursion Relationship
Generalizing the Recursion Relationship for the Partition Function
✍ Jiuzhao Hua πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 313 KB

The known recursion relationship for the partition function p(n) which represents the number of partitions of the positive integer n is exhibited as the limit as q Γ„ in one identity and as the case 1 substituted for q in a second formula that arise from a matrix problem over the field of q elements.

A recursive algorithm for a summed multi
A recursive algorithm for a summed multinomial density function
✍ Raymond K. Fink; Herbert Moskowitz πŸ“‚ Article πŸ“… 1978 πŸ› John Wiley and Sons 🌐 English βš– 446 KB

## Abstract An algorithm for calculating the probabilities of a summed multinomial density function which is recursive with __n__ (the number of trials) is presented. Having application in inspector error models for auditing and quality control problems with Cartesian product structures, the algori