scientific article; zbMATH DE number 3504952

zbMath0323.02047MaRDI QIDQ4085710

Justus Diller, H. Vogel

Publication date: 1975

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

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Higher-type and set recursion theory (03D65) Proof theory and constructive mathematics (03F99)

Related Items

A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces ⋮ Ein starker Normalisationssatz für die bar-rekursiven Funktionale ⋮ Logical problems of functional interpretations ⋮ Eine beweistheoretische Anwendung partieller stetiger Funktionale ⋮ Functional interpretation of Aczel's constructive set theory