Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory

DOI10.1023/A:1020844128690zbMath1016.03059OpenAlexW2090516406MaRDI QIDQ1868168

Wolfgang Burr

Publication date: 27 April 2003

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020844128690

zbMATH Keywords

functional interpretations of set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

This page was built for publication: Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory