Interpretationen der Heyting-Arithmetik endlicher Typen

DOI10.1007/BF02011878MaRDI QIDQ4198751zbMATH OpenFDO

Authors Martin Stein

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

zbMATH Keywords

dialectica interpretationsHeyting's arithmeticintuitionismmetamathematicsmodified realizability

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites work

• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(5)

• A parametrised functional interpretation of Heyting arithmetic
• Functional interpretation and inductive definitions
• A complexity analysis of functional interpretations
• Logical problems of functional interpretations
• Functional interpretations of linear and intuitionistic logic

This page was built for publication: Interpretationen der Heyting-Arithmetik endlicher Typen

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4198751)