𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Functional interpretation and the existence property

✍ Scribed by Klaus Frovin Jørgensen

Publisher
John Wiley and Sons
Year
2004
Tongue
English
Weight
81 KB
Volume
50
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Nonlinear Partial Functional Differentia
Nonlinear Partial Functional Differential Equations: Existence and Stability
✍ Tomás Caraballo 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 169 KB

Existence and uniqueness of solutions for a class of nonlinear functional differential equations in Hilbert spaces are established. Sufficient conditions which guarantee the transference of exponential stability from partial differential equations to partial functional differential equations are stu