THE DISJUNCTION AND RELATED PROPERTIES FOR CONSTRUCTIVE ZERMELO-FRAENKEL SET THEORY.
In: Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233-1254
Online
academicJournal
Zugriff:
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. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Symbolic Logic is the property of Cambridge University Press and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Titel: |
THE DISJUNCTION AND RELATED PROPERTIES FOR CONSTRUCTIVE ZERMELO-FRAENKEL SET THEORY.
|
---|---|
Autor/in / Beteiligte Person: | Rathjen, Michael |
Link: | |
Zeitschrift: | Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233-1254 |
Veröffentlichung: | 2005 |
Medientyp: | academicJournal |
ISSN: | 0022-4812 (print) |
DOI: | 10.2178/jsl/1129642124 |
Schlagwort: |
|
Sonstiges: |
|