The disjunction and related properties for constructive Zermelo-Fraenkel set theory

被引：23

作者：

Rathjen, M ^{[1
]}

机构：

[1] Ohio State Univ, Dept Math, Columbus, OH 43210 USA

来源：

JOURNAL OF SYMBOLIC LOGIC | 2005年 / 70卷 / 04期

关键词：

constructive set theory; realizability; metamathematical property;

D O I：

10.2178/jsl/1129642124

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：1233 / 1254

页数：22

共 50 条

[31] STRATIFIED FORMULAS AND ZERMELO-FRAENKEL SYSTEM
BOFFA, M
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1970, 271 (13): : 577 - &
[32] ZERMELO-FRAENKEL CONSISTENCY RESULTS BY FRAENKEL-MOSTOWSKI METHODS
PINCUS, D
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 721 - 743
[33] VON NEUMANN-BERNAYS-GODEL SET-THEORY AS A DEFINITIONAL EXTENSION OF ZERMELO-FRAENKEL SET-THEORY
FRANK, W
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 159 - 159
[34] Formula-inaccessible cardinals and a characterization of all natural models of Zermelo-Fraenkel set theory
Bunina, E. I.
Zakharov, V. K.
IZVESTIYA MATHEMATICS, 2007, 71 (02) : 219 - 245
[35] THE THEOREM OF THE CONSISTENCE OF ZERMELO-FRAENKEL ZF SYSTEM
KUZICHEV, AS
DOKLADY AKADEMII NAUK SSSR, 1983, 273 (05): : 1053 - 1057
[36] REPRESENTATION OF PARTIAL ORDERING IN CARDINALS OF MODEL OF ZERMELO-FRAENKEL SET THEORY .2. SETS OF INCOMPARABLE POWERS
MAREK, W
ONYSZKIE.J
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1966, 14 (09): : 479 - &
[37] NEW FORM OF SUBSTITUTION AXIOM OF ZERMELO-FRAENKEL SYSTEM
FARAH, E
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1970, 270 (14): : 845 - &
[38] Lifschitz realizability for intuitionistic Zermelo–Fraenkel set theory
Ray-Ming Chen
Michael Rathjen
Archive for Mathematical Logic, 2012, 51 : 789 - 818
[39] OMEGA-CONSERVATIVITY OF THE NONSTANDARD QUANTITY THEOREM OF NELSON REGARDING ZERMELO-FRAENKEL + COMPACTNESS THEORY
BUFF, HW
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (02): : 133 - 144
[40] REPRESENTATION OF A PARTIAL ORDERING IN CARDINALS OF MODEL OF ZERMELO - FRAENKEL SET THEORY I
MAREK, W
ONYSZKIE.J
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1966, 14 (07): : 357 - &

← 1 2 3 4 5 →