BETTER ALTERNATIVES TO ZERMELO-FRAENKEL

被引：0

作者：

MACLANE, S

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：191 / 191

页数：1

共 50 条

[1] ZERMELO-FRAENKEL SYSTEM
FARAH, E
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1968, 266 (26): : 1217 - &
[2] RANK AND EXTENSIONNALITY IN ZERMELO-FRAENKEL
HINNION, R
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 322 - 322
[3] STRATIFIED FORMULAS AND ZERMELO-FRAENKEL SYSTEM
BOFFA, M
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1970, 271 (13): : 577 - &
[4] ZERMELO-FRAENKEL CONSISTENCY RESULTS BY FRAENKEL-MOSTOWSKI METHODS
PINCUS, D
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 721 - 743
[5] STRATIFIED FORMULAS IN ZERMELO-FRAENKEL SET THEORY
BOFFA, M
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (04): : 275 - &
[6] PARACONSISTENT AND PARACOMPLETE ZERMELO-FRAENKEL SET THEORY
Khomskii, Yurii
Oddsson, Hrafn Valtyr
REVIEW OF SYMBOLIC LOGIC, 2024, 17 (04): : 965 - 995
[7] ON A FAMILY OF MODELS OF ZERMELO-FRAENKEL SET THEORY
SCARPELLINI, B
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (03): : 191 - +
[8] EXTENSIONALITY IN ZERMELO-FRAENKEL SET-THEORY
HINNION, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (01): : 51 - 60
[9] THE THEOREM OF THE CONSISTENCE OF ZERMELO-FRAENKEL ZF SYSTEM
KUZICHEV, AS
DOKLADY AKADEMII NAUK SSSR, 1983, 273 (05): : 1053 - 1057
[10] Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
Chen, Ray-Ming
Rathjen, Michael
ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (7-8): : 789 - 818

← 1 2 3 4 5 →