Derived rules for predicative set theory: An application of sheaves

B. van den Berg; I. Moerdijk

doi:10.1016/j.apal.2012.01.010

Derived rules for predicative set theory: An application of sheaves

B. van den Berg
, I. Moerdijk

Afd Wiskunde Algemeen

Research output: Contribution to journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	1367-1383
Number of pages	17
Journal	Annals of Pure and Applied Logic
Volume	163
Issue number	10
DOIs	https://doi.org/10.1016/j.apal.2012.01.010
Publication status	Published - 2012

Access to Document

10.1016/j.apal.2012.01.010

Embargoed Document

292-main[1]
Final published version, 294 KB
Embargo ends: 1/01/50

Cite this

@article{d62975b16f604e5c9087585323352f7c,

title = "Derived rules for predicative set theory: An application of sheaves",

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.",

author = "\{van den Berg\}, B. and I. Moerdijk",

year = "2012",

doi = "10.1016/j.apal.2012.01.010",

language = "English",

volume = "163",

pages = "1367--1383",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "10",

}

TY - JOUR

T1 - Derived rules for predicative set theory: An application of sheaves

AU - van den Berg, B.

AU - Moerdijk, I.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1016/j.apal.2012.01.010

DO - 10.1016/j.apal.2012.01.010

M3 - Article

SN - 0168-0072

VL - 163

SP - 1367

EP - 1383

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 10

ER -

Derived rules for predicative set theory: An application of sheaves

Abstract

Access to Document

Embargoed Document

Fingerprint

Cite this