Interpretationen der Heyting-Arithmetik endlicher Typen

DOI10.1007/BF02011878zbMATH Open0411.03051MaRDI QIDQ4198751FDOQ4198751

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

intuitionismmetamathematicsmodified realizabilityHeyting's arithmeticdialectica interpretations

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

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

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)