SHEAF RECURSION AND A SEPARATION THEOREM

DOI10.1017/JSL.2013.18zbMATH Open1435.18010OpenAlexW2101854887MaRDI QIDQ2933681FDOQ2933681

Nathanael Ackerman

Publication date: 5 December 2014

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/bd35c60eff6a0ad4bb909478cbc7a196812cd368

zbMATH Keywords

treesseparation theoremsclosure spacessheavesdefinition by recursion

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Topological spaces and generalizations (closure spaces, etc.) (54A05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Axiom of choice and related propositions (03E25) Ordered sets (06A99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Foundations of Software Science and Computation Structures

Cited In (3)

• Foundations of Software Science and Computation Structures
• On separation axioms of uniform bundles and sheaves
• Reciprocity sheaves

This page was built for publication: SHEAF RECURSION AND A SEPARATION THEOREM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2933681)