scientific article; zbMATH DE number 6307929

zbMATH Open1315.03111MaRDI QIDQ4981444

Justus Diller

Publication date: 24 June 2014

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50)

Related Items (2)

Functional interpretation and the existence property ⋮ Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Functional interpretations of feasibly constructive arithmetic 👍 👎
• Functional analytic axioms and set theory 👍 👎
• Functional interpretation of Aczel's constructive set theory 👍 👎
• Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory 👍 👎
• Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory 👍 👎
• A constructive interpretation of the full set theory 👍 👎
• The generalised type-theoretic interpretation of constructive set theory 👍 👎

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 Q4981444)