✦ LIBER ✦

Applications of cut-free infinitary derivations to generalized recursion theory

✍ Scribed by Arnold Beckmann; Wolfram Pohlers

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 712 KB
Volume: 94
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(97)00063-8

No coin nor oath required. For personal study only.

✦ Synopsis

We prove that the boundedness theorem of generalized recursion theory can be derived from the w-completeness theorem for number theory. This yields a proof of the boundedness theorem which does not refer to the analytical hierarchy theorem.

📜 SIMILAR VOLUMES

Generalization of the UDCA theory and it

Generalization of the UDCA theory and its application to the analysis of the ion-free layer thickness

✍ R. Andreu; M. Molero; J.J. Calvente; J. Carbajo 📂 Article 📅 1993 🏛 Elsevier 🌐 English ⚖ 753 KB

SEMI-ANALYTICAL APPROACH TO THE NON-LINE

SEMI-ANALYTICAL APPROACH TO THE NON-LINEAR DYNAMIC RESPONSE PROBLEM OF S–S AND C–C BEAMS AT LARGE VIBRATION AMPLITUDES PART I: GENERAL THEORY AND APPLICATION TO THE SINGLE MODE APPROACH TO FREE AND FORCED VIBRATION ANALYSIS

✍ L. Azrar; R Benamar; R.G. White 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 195 KB

In a previous series of papers [1][2][3], a general model based on Hamilton's