Interpretationen der Heyting-Arithmetik endlicher Typen
From MaRDI portal
Publication:4198751
DOI10.1007/BF02011878zbMath0411.03051MaRDI QIDQ4198751
Publication date: 1978
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137955
metamathematics; intuitionism; modified realizability; Heyting's arithmetic; dialectica interpretations
03F50: Metamathematics of constructive systems
03F55: Intuitionistic mathematics
03F25: Relative consistency and interpretations
Related Items
Logical problems of functional interpretations, A complexity analysis of functional interpretations, Functional interpretations of linear and intuitionistic logic, A parametrised functional interpretation of Heyting arithmetic, Functional interpretation and inductive definitions
Cites Work