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

被引：64

|

作者：

FRIEDMAN, H ^{[1
]}

机构：

[1] SUNY, AMHERST, NY 14226 USA

来源：

JOURNAL OF SYMBOLIC LOGIC | 1973年 / 38卷 / 02期

关键词：

D O I：

10.2307/2272068

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：315 / 319

页数：5

相关论文

共 50 条

[11] LARGE SETS IN INTUITIONISTIC SET-THEORY
FRIEDMAN, H
SCEDROV, A
ANNALS OF PURE AND APPLIED LOGIC, 1984, 27 (01) : 1 - 24
[12] INTUITIONISTIC SET-THEORY - METAMATHEMATICS AND APPLICATIONS
SCEDROV, A
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 302 - 302
[13] REPLACEMENT AND COLLECTION IN INTUITIONISTIC SET-THEORY
GOODMAN, ND
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 344 - 348
[14] A RELATIVE INTERNAL SET-THEORY
PERAIRE, Y
WALLET, G
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1989, 308 (11): : 301 - 304
[15] LUKASIEWICZ LOGIC AND FUZZY SET-THEORY
GILES, R
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1976, 8 (03): : 313 - 327
[16] SET-THEORY
GRAYSHAN, D
JOURNAL OF INFORMATION SCIENCE, 1982, 5 (04) : 151 - 152
[17] SCOTUS, DUNS, LOGIC AND SET-THEORY
MOSS, JMB
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 461 - 462
[18] A CONSTRUCTIVE CONSISTENCY PROOF OF A FRAGMENT OF SET-THEORY
PEARCE, J
ANNALS OF PURE AND APPLIED LOGIC, 1984, 27 (01) : 25 - 62
[19] SET-THEORY IN MODEL THEORY
MIJOULE, R
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 453 - 453
[20] DIALECTICAL SET-THEORY
ROUTLEY, R
JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 363 - 363

← 1 2 3 4 5 →