Log In

Derived rules for predicative set theory: An application of sheaves

Files

Access status: Embargo until 2050-01-01 , 292-main[1].pdf (293.65 KB)
How and where to find an Open Access version of this publication?

Publication date

2012

Authors

van den Berg, B.ISNI 0000000387014378
Moerdijk, IekeISNI 0000000115731023

Editors

Advisors

Supervisors

DOI

https://doi.org/10.1016/j.apal.2012.01.010

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

License

Abstract

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.

Keywords

Citation

van den Berg, B & Moerdijk, I 2012, 'Derived rules for predicative set theory: An application of sheaves', Annals of Pure and Applied Logic, vol. 163, no. 10, pp. 1367-1383. https://doi.org/10.1016/j.apal.2012.01.010

URI

https://dspace.library.uu.nl/handle/1874/272323