Sheaf recursion and a separation theorem

Journal of Symbolic Logic 79 (3):882-907 (2014)
  Copy   BIBTEX

Abstract

Define a second order tree to be a map between trees. 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
The associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.
WKL< sub> 0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
WKL0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
Compact representations of BL-algebras.Antonio Di Nola & Laurentiu Leustean - 2003 - Archive for Mathematical Logic 42 (8):737-761.
A topological completeness theorem.Carsten Butz - 1999 - Archive for Mathematical Logic 38 (2):79-101.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Separation and weak könig's lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.

Analytics

Added to PP
2016-06-30

Downloads
18 (#858,528)

6 months
6 (#588,321)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.

Add more references