Interpretationen der Heyting-Arithmetik endlicher Typen

DOI10.1007/BF02011878zbMath0411.03051MaRDI QIDQ4198751

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

metamathematicsintuitionismmodified realizabilityHeyting's arithmeticdialectica interpretations

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

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