scientific article; zbMATH DE number 3648704

MaRDI QIDQ3206950zbMATH OpenFDO

Authors Justus Diller

Publication date 1979

zbMATH Keywords

functional interpretationmodified realizabilitydialectica interpretationconservative extension of Heyting's arithmetic in all finite types

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35) Functionals in proof theory (03F10)

This page was built for publication:

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