Predicative functionals and an interpretation of ⌢ID<ω
نویسندگان
چکیده
منابع مشابه
Predicative Functionals and an Interpretation of ID^_
In 1958 Gödel published his Dialectica interpretation, which reduces classical arithmetic to a quantifier-free theory T axiomatizing the primitive recursive functionals of finite type. Here we extend Gödel’s T to theories Pn of “predicative” functionals, which are defined using MartinLöf’s universes of transfinite types. We then extend Gödel’s interpretation to the theories of arithmetic induct...
متن کاملA Predicative Type-Theoretic Interpretation of Objects
Predicative type theories are powerful tools for giving foundational interpretations of programming languages. Due to their explicit inductive construction, predicative type theories have multiple mathematical models that provide precise de nitions of programming language features. However, not all features have predicative interpretations, and current interpretations of objects rely on impredi...
متن کاملdevelopment and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولInterpretation of van der Waals density functionals
The nonlocal correlation energy in the van der Waals density functional (vdW-DF) method can be interpreted in terms of a coupling of zero-point energies of characteristic modes of semilocal exchange-correlation (xc) holes. These xc holes reflect the internal functional in the framework of the vdW-DF method. We explore the internal xc hole components, showing that they share properties with thos...
متن کاملAn Algorithm for Modeling and Interpretation of Seismoelectric Data
Generally speaking, seismoelectric modeling is a prospecting method based on seismic and electromagnetic waves, in which waves generated by a seismic source at the boundary of the two environments generate a relative fluid-solid motion formed as a result of antagonism between the elastic properties of the environment with the saturated fluid. This research has as its objective, a study of the e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1998
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(97)00045-6