𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On bounded functional interpretations

✍ Scribed by Gilda Ferreira; Paulo Oliva

Book ID
113459274
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
325 KB
Volume
163
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Bounded functional interpretation
Bounded functional interpretation
✍ Fernando Ferreira; Paulo Oliva πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 439 KB
Asymmetric Interpretations for Bounded T
Asymmetric Interpretations for Bounded Theories
✍ Andrea Cantini πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 939 KB

We apply the method of asymmetric interpretation to the basic fragment of bounded arithmetic, endowed with a weak collection schema, and to a system of "feasible analysis" , introduced by Ferreira and based on weak Kiinig's lemma, recursive comprehension and NP-notation induction. As a byproduct, we

Logical problems of functional interpret
Logical problems of functional interpretations
✍ Justus Diller πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 135 KB

G odel interpreted Heyting arithmetic HA in a "logic-free" fragment T0 of his theory T of primitive recursive functionals of ΓΏnite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is di erent-in particular m