Translator Disclaimer
December 2005 The disjunction and related properties for constructive Zermelo-Fraenkel set theory
Michael Rathjen
J. Symbolic Logic 70(4): 1233-1254 (December 2005). DOI: 10.2178/jsl/1129642124

Abstract

This paper proves that the disjunction property, the numerical existence property, Church’s rule, and several other metamathematical properties hold true for Constructive Zermelo-Fraenkel Set Theory, CZF, and also for the theory CZF augmented by the Regular Extension Axiom.

As regards the proof technique, it features a self-validating semantics for CZF that combines realizability for extensional set theory and truth.

Citation

Download Citation

Michael Rathjen. "The disjunction and related properties for constructive Zermelo-Fraenkel set theory." J. Symbolic Logic 70 (4) 1233 - 1254, December 2005. https://doi.org/10.2178/jsl/1129642124

Information

Published: December 2005
First available in Project Euclid: 18 October 2005

zbMATH: 1100.03046
MathSciNet: MR2194246
Digital Object Identifier: 10.2178/jsl/1129642124

Subjects:
Primary: 03F35 , 03F50

Keywords: Constructive set theory , metamathematical property , realizability

Rights: Copyright © 2005 Association for Symbolic Logic

JOURNAL ARTICLE
22 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.70 • No. 4 • December 2005
Back to Top