scientific article; zbMATH DE number 1289488

zbMath0940.03064MaRDI QIDQ4243761

Wolfgang Burr

Publication date: 24 May 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Heyting arithmeticarithmetical hierarchyconstructive set theoryfunctional interpretationGödel's Tcollection principleDialectica translation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Functionals in proof theory (03F10)

Related Items

Functional interpretation of Aczel's constructive set theory