COMPARING TYPE THEORY AND SET-THEORY

被引：0

|

作者：

LAKE, J

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1975年 / 21卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：355 / 356

页数：2

相关论文

共 50 条

[1] TYPE THEORY AND MODELS OF SET-THEORY
MIJOULE, R
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 283 (10): : 733 - 735
[2] ACKERMANN-TYPE SET-THEORY
LAKE, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (03) : 410 - 412
[3] EPISTEMIC SET-THEORY IS A CONSERVATIVE EXTENSION OF INTUITIONISTIC SET-THEORY
FLAGG, RC
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 895 - 902
[4] SET-THEORY
GRAYSHAN, D
[J]. JOURNAL OF INFORMATION SCIENCE, 1982, 5 (04) : 151 - 152
[5] SET-THEORY IN MODEL THEORY
MIJOULE, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 453 - 453
[6] CONSISTENCY OF CLASSICAL SET-THEORY RELATIVE TO A SET-THEORY WITH INTUITIONISTIC LOGIC
FRIEDMAN, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 315 - 319
[7] ROSSER TYPE FORMULAS FOR ZF SET-THEORY
MCALOON, K
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 281 (16): : 669 - 672
[8] DIALECTICAL SET-THEORY
ROUTLEY, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 363 - 363
[9] EMPIRICAL SET-THEORY
NISHIMURA, H
[J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (08) : 1293 - 1321
[10] ITERATIVE SET-THEORY
POTTER, MD
[J]. PHILOSOPHICAL QUARTERLY, 1993, 43 (171): : 178 - 193

← 1 2 3 4 5 →