OMITTING TYPES IN ARITHMETIC AND SET-THEORY

被引：0

|

作者：

KNIGHT, JF ^{[1
]}

机构：

[1] PENN STATE UNIV,UNIVERSITY PK,PA 16802

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1973年 / 20卷 / 06期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：A588 / A589

页数：2

相关论文

共 50 条

[41] MODELS OF THE ALTERNATIVE SET-THEORY
PUDLAK, P
SOCHOR, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 570 - 585
[42] MODEL THEORY VIA SET-THEORY
HUTCHINSON, JE
[J]. ISRAEL JOURNAL OF MATHEMATICS, 1976, 24 (3-4) : 286 - 304
[43] APPLICATION OF SET-THEORY TO MODEL THEORY
NADEL, M
[J]. ISRAEL JOURNAL OF MATHEMATICS, 1972, 11 (04) : 386 - &
[44] FUZZY SET-THEORY AND TOPOS THEORY
BARR, M
[J]. CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1986, 29 (04): : 501 - 508
[45] PROOF-THEORY AND SET-THEORY
TAKEUTI, G
[J]. SYNTHESE, 1985, 62 (02) : 255 - 263
[46] MORE SET-THEORY FOR TOPOLOGISTS
DOW, A
[J]. TOPOLOGY AND ITS APPLICATIONS, 1995, 64 (03) : 243 - 300
[47] NOTION OF RANK IN SET-THEORY
HAJNAL, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 662 - +
[48] HOMOLOGICAL ALGEBRA AND SET-THEORY
EKLOF, PC
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1977, 227 (MAR) : 207 - 225
[49] FORCING FOR MORSES SET-THEORY
CHUAQUI, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 354 - 355
[50] NONSEPARABLE DESCRIPTIVE SET-THEORY
HANSELL, RW
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A174 - A174

← 1 2 3 4 5 →