ZERMELO-FRAENKEL SET THEORY AND CUMULATIVE TYPE THEORY

被引：0

作者：

POLLOCK, JL

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1970年 / 35卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：181 / &

共 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] PARACONSISTENT AND PARACOMPLETE ZERMELO-FRAENKEL SET THEORY
Khomskii, Yurii
Oddsson, Hrafn Valtyr
[J]. REVIEW OF SYMBOLIC LOGIC, 2023,
[3] 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 - +
[4] EXTENSIONALITY IN ZERMELO-FRAENKEL SET-THEORY
HINNION, R
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (01): : 51 - 60
[5] Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
Chen, Ray-Ming
Rathjen, Michael
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (7-8): : 789 - 818
[6] An automated prover for Zermelo-Fraenkel set theory in Theorema
Windsteiger, W
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 2006, 41 (3-4) : 435 - 470
[7] COMPLETENESS THEOREM FOR ZERMELO-FRAENKEL SET-THEORY
POWELL, WC
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 323 - 327
[8] YONEDA LEMMA IN ZERMELO-FRAENKEL SET-THEORY
KUHNRICH, MV
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (05): : 443 - 446
[9] GLOBAL QUANTIFICATION IN ZERMELO-FRAENKEL SET-THEORY
MAYBERRY, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 289 - 301
[10] SET MATRIX THEORY AS A PHYSICALLY MOTIVATED GENERALIZATION OF ZERMELO-FRAENKEL SET THEORY
Cabbolet, Marcoen J. T. F.
de Swart, Harrie C. M.
[J]. LOGIQUE ET ANALYSE, 2014, (225) : 59 - 82

← 1 2 3 4 5 →