𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Theory of Operations on the Universe II. Infinitary Operations

✍ Scribed by Narciso Garcia

Publisher
John Wiley and Sons
Year
1991
Tongue
English
Weight
297 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

On the assignment and sequencing of oper
On the assignment and sequencing of operations on a crew-served project
✍ R. L. Bulfin; R. G. Parker πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons 🌐 English βš– 456 KB

## Abstract This paper is concerned with assigning and sequencing a set of activities for some or all members of a crew of operators so that the completion time of all such operations is minimized. It is assumed that each of the operators in the crew possesses, initially, certain tasks that only he