Constructive Sheaf Semantics
type: Item
instance of: scholarly article
title: Constructive Sheaf Semantics
zbMATH Open document ID: 0934.03051
author: Erik Palmgren
published in: Mathematical Logic Quarterly
publication date: 2000-04-06T00:00:00Z
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18F10
zbMATH DE Number: 1054286
zbMATH Keywords: sheaf semantics
zbMATH Keywords: Martin-Löf type theory
zbMATH Keywords: provably functional relations
zbMATH Keywords: completeness
MaRDI profile type: MaRDI publication profile
full work available at URL: malq.19970430304
OpenAlex ID: W2078368926
cites work: Q4039735
cites work: Q3999860
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1002/MALQ.19970430304
Recommended article: Constructive sheaf models of type theory
Recommended article: Q5457306
Recommended article: Constructible Sheaves
Recommended article: Q3768897
Recommended article: Constructible sheaves on schemes
Recommended article: Sheaf Representations and Duality in Logic
Recommended article: Sheaf toposes for realizability
Recommended article: Q4883281
Recommended article: Q3816073
Recommended article: Q4464699
description: scientific article; zbMATH DE number 1054286