Derived rules for predicative set theory: an application of sheaves

Details Derived rules for predicative set theory: an application of sheaves Derived rules for predicative set theory: an application of sheaves

2010-09-18

arxiv.org/abs/1009.3553v2

Mathematics

Logic

Scientific paper

We show how one may establish proof-theoretic results for constructive
Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and
the Bar Induction rule for Baire space, by constructing sheaf models and using
their preservation properties.

Affiliated with

Also associated with

No associations

Rating

Derived rules for predicative set theory: an application of sheaves does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Derived rules for predicative set theory: an application of sheaves, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Derived rules for predicative set theory: an application of sheaves will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-476741