SHEAF RECURSION AND A SEPARATION THEOREM
type: Item
instance of: scholarly article
title: SHEAF RECURSION AND A SEPARATION THEOREM
zbMATH Open document ID: 1435.18010
publication date: 2014-12-05T00:00:00Z
Mathematics Subject Classification ID: 18F20
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 06A99
Mathematics Subject Classification ID: 54A05
Mathematics Subject Classification ID: 54H05
zbMATH DE Number: 6377237
zbMATH Keywords: trees
zbMATH Keywords: sheaves
zbMATH Keywords: definition by recursion
zbMATH Keywords: closure spaces
zbMATH Keywords: separation theorems
author: Nathanael Ackerman
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2101854887
cites work: Foundations of Software Science and Computation Structures
cites work: Q4215784
cites work: Q3525843
DOI: 10.1017/JSL.2013.18
published in: Journal of Symbolic Logic
description: scientific article; zbMATH DE number 6377237