STRATIFIED FORMULAS AND ZERMELO-FRAENKEL SYSTEM

被引：0

作者：

BOFFA, M

机构：

来源：

COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A | 1970年 / 271卷 / 13期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：577 / &

共 50 条

[1] STRATIFIED FORMULAS IN ZERMELO-FRAENKEL SET THEORY
BOFFA, M
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (04): : 275 - &
[2] ZERMELO-FRAENKEL SYSTEM
FARAH, E
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1968, 266 (26): : 1217 - &
[3] THE THEOREM OF THE CONSISTENCE OF ZERMELO-FRAENKEL ZF SYSTEM
KUZICHEV, AS
[J]. DOKLADY AKADEMII NAUK SSSR, 1983, 273 (05): : 1053 - 1057
[4] RANK AND EXTENSIONNALITY IN ZERMELO-FRAENKEL
HINNION, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 322 - 322
[5] BETTER ALTERNATIVES TO ZERMELO-FRAENKEL
MACLANE, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 191 - 191
[6] NEW FORM OF SUBSTITUTION AXIOM OF ZERMELO-FRAENKEL SYSTEM
FARAH, E
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1970, 270 (14): : 845 - &
[7] ZERMELO-FRAENKEL CONSISTENCY RESULTS BY FRAENKEL-MOSTOWSKI METHODS
PINCUS, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 721 - 743
[8] PARACONSISTENT AND PARACOMPLETE ZERMELO-FRAENKEL SET THEORY
Khomskii, Yurii
Oddsson, Hrafn Valtyr
[J]. REVIEW OF SYMBOLIC LOGIC, 2023,
[9] ON A FAMILY OF MODELS OF ZERMELO-FRAENKEL SET THEORY
SCARPELLINI, B
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (03): : 191 - +
[10] EXTENSIONALITY IN ZERMELO-FRAENKEL SET-THEORY
HINNION, R
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (01): : 51 - 60