𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Kleene computable functionals and the higher order existence property

✍ Scribed by Andre Scedrov

Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
602 KB
Volume
52
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Functional interpretation and the existe
Functional interpretation and the existence property
✍ Klaus Frovin JΓΈrgensen πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 81 KB

## Abstract It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two. (Β© 2004 WI

Higher-order Levinson's theorems and the
Higher-order Levinson's theorems and the high-temperature expansion of the partition function
✍ D BollΓ© πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science 🌐 English βš– 871 KB

Higher-order two-body Levinson's theorems are proved for the class of potentials V E L' n L2 in terms of the energy moments of the trace of the time-delay operator. If V is smooth, the correction terms appearing in these trace relations are Korteweg-de Vries-type invariants. These theorems are used