Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-20T02:54:12.158Z Has data issue: false hasContentIssue false
  • English
  • Français

SHEAF RECURSION AND A SEPARATION THEOREM

Published online by Cambridge University Press:  18 August 2014

NATHANAEL LEEDOM ACKERMAN
NATHANAEL LEEDOM ACKERMAN*
Affiliation:
DEPARTMENT OF MATHEMATICS HARVARD UNIVERSITY ONE OXFORD STREET CAMBRIDGE, MA 02138, USAE-mail: nate@math.harvard.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

Define a second order tree to be a map between trees (with fixed codomain). We show that many properties of ordinary trees have analogs for second order trees. In particular, we show that there is a notion of “definition by recursion on a well-founded second order tree” which generalizes “definition by transfinite recursion”. We then use this new notion of definition by recursion to prove an analog of Lusin’s Separation theorem for closure spaces of global sections of a second order tree.

Keywords

TreesSheavesDefinition by RecursionClosure SpacesSeparation Theorems06A9918F2054A0554H05
Type
Articles
Information
The Journal of Symbolic Logic , Volume 79 , Issue 3 , September 2014 , pp. 882 - 907
Copyright
Copyright © The Association for Symbolic Logic 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Barwise, Jon, Admissible sets and structures, Springer-Verlag, Berlin, 1975, An approach to definability theory, Perspectives in Mathematical Logic.CrossRefGoogle Scholar
Lars Birkedal, , Møgelberg, Rasmus Ejlers, Schwinghammer, Jan, and Støvring, Kristian. First steps in synthetic guarded domain theory: Step-indexing in the topos of trees. Logical Methods in Computer Science, vol. 8 (2012), no. 4, pp. 4:1, 45.Google Scholar
Gianantonio, Pietro Di and Miculan, Marino, Unifying recursive and co-recursive definitions in sheaf categories, Foundations of software science and computation structures, Lecture Notes in Computer Science, vol. 2987, Springer, Berlin, 2004, pp. 136–150.CrossRefGoogle Scholar
Jech, Thomas, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003, The third millennium edition, revised and expanded.Google Scholar
Kasangian, Stefano and Vigna, Sebastiano, The topos of labelled trees: A categorical semantics for SCCS. Fundamenta Informaticae, vol. 32 (1997), no. 1, pp. 27–45.CrossRefGoogle Scholar
Mac Lane, Saunders, Categories for the working mathematician, second ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998.Google Scholar
Lane, Saunders Mac and Moerdijk, Ieke, Sheaves in geometry and logic, Universitext, Springer-Verlag, New York, 1994. A first introduction to topos theory, Corrected reprint of the 1992 edition.Google Scholar
Moschovakis, Yiannis N., Descriptive set theory, second ed., Mathematical Surveys and Monographs, vol. 155, American Mathematical Society, Providence, RI, 2009.Google Scholar