Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory
type: Item
instance of: scholarly article
title: Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory
zbMATH Open document ID: 1016.03059
DOI: 10.1023/A:1020844128690
author: Wolfgang Burr
published in: Synthese
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F25
zbMATH DE Number: 1901270
zbMATH Keywords: functional interpretations of set theory
MaRDI profile type: Publication
full work available at URL: a:1020844128690
OpenAlex ID: W2090516406
description: scientific article; zbMATH DE number 1901270