𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Problem of Dough — Camp Cook Finds Solution

Book ID
125316336
Publisher
Oxford University Press
Year
1959
Weight
374 KB
Volume
3
Category
Article
ISSN
1046-7009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Cook-Berger problem -A guide to the
The Cook-Berger problem -A guide to the solution
✍ Dag Normann 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 495 KB

We show that to any computable, total functional \(\Phi\) of pure type 3 , there is a total \(P C F\)-definable functional \(\hat{\Phi} \sqsubseteq \Phi\). We discuss how the program for \(\hat{\Phi}\) can be viewed as the result of replacing non-deterministic constants in Plotkin's program for \(\P