SHEAF RECURSION AND A SEPARATION THEOREM

DOI10.1017/JSL.2013.18zbMath1435.18010OpenAlexW2101854887MaRDI QIDQ2933681

Nathanael Leedom Ackerman

Publication date: 5 December 2014

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

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

zbMATH Keywords

closure spacestreessheavesseparation theoremsdefinition by recursion

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Foundations of Software Science and Computation Structures

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