scientific article; zbMATH DE number 3648704
From MaRDI portal
Publication:3206950
zbMATH Open0417.03031MaRDI QIDQ3206950FDOQ3206950
Authors: Justus Diller 
Publication date: 1979
Title of this publication is not available (Why is that?)
functional interpretationmodified realizabilitydialectica interpretationconservative extension of Heyting's arithmetic in all finite types
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)
