CONSISTENCY OF CLASSICAL SET-THEORY RELATIVE TO A SET-THEORY WITH INTUITIONISTIC LOGIC

被引：64

作者：

FRIEDMAN, H ^{[1
]}

机构：

[1] SUNY, AMHERST, NY 14226 USA

来源：

关键词：

D O I：

10.2307/2272068

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：315 / 319

页数：5

共 50 条

[21] EMPIRICAL SET-THEORY
NISHIMURA, H
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (08) : 1293 - 1321
[22] ITERATIVE SET-THEORY
POTTER, MD
PHILOSOPHICAL QUARTERLY, 1993, 43 (171): : 178 - 193
[23] SET-THEORY AND MANAGEMENT
SADEK, KE
TOMESKI, EA
JOURNAL OF SYSTEMS MANAGEMENT, 1979, 30 (10): : 6 - 11
[24] CORRECTION IN SET-THEORY
DILWORTH, W
TRANSACTIONS OF THE WISCONSIN ACADEMY SCIENCES ARTS AND LETTERS, 1974, 62 : 205 - 216
[25] THE USES OF SET-THEORY
ROITMAN, J
MATHEMATICAL INTELLIGENCER, 1992, 14 (01): : 63 - 69
[26] ON SKALA SET-THEORY
MANAKOS, J
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (06): : 541 - 546
[27] INDICATORS IN SET-THEORY
CORRADA, CM
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1096 - 1096
[28] THE FORMALIZATION OF SET-THEORY
TUCKER, J
MIND, 1963, 72 (288) : 500 - 518
[29] COMBINATORIAL SET-THEORY
SHELAH, S
ISRAEL JOURNAL OF MATHEMATICS, 1973, 14 (03) : 262 - 277
[30] CONSTRUCTIVE SET-THEORY
MYHILL, J
JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (03) : 347 - 382