| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6424836 | Annals of Pure and Applied Logic | 2012 | 17 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Benno van den Berg, Ieke Moerdijk,