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 条

[1] OMITTING TYPES IN SET-THEORY AND ARITHMETIC
KNIGHT, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 25 - 32
[2] OMITTING TYPES - APPLICATION TO DESCRIPTIVE SET-THEORY
MANSFIELD, R
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 47 (01) : 198 - 200
[3] CONSEQUENCES OF ARITHMETIC FOR SET-THEORY
HALBEISEN, L
SHELAH, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (01) : 30 - 40
[4] THE SET-THEORY OF ARITHMETIC DECOMPOSITION
CARTER, TM
ROBERTSON, JE
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (08) : 993 - 1005
[5] DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET-THEORY
YANKOV, VA
[J]. RUSSIAN ACADEMY OF SCIENCES IZVESTIYA MATHEMATICS, 1995, 44 (03): : 571 - 600
[6] POINTWISE DEFINABLE MODELS OF ARITHMETIC AND SET-THEORY
SIMPSON, SG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (04): : A447 - A447
[7] ORDER TYPES OF ORDINALS IN MODELS OF SET-THEORY
HUTCHINSON, JE
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 489 - 502
[8] UNDEFINABLE CLASSES AND DEFINABLE ELEMENTS IN MODELS OF SET-THEORY AND ARITHMETIC
ENAYAT, A
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1988, 103 (04) : 1216 - 1220
[9] ON EXPANDABILITY OF MODELS OF PEANO ARITHMETIC TO MODELS OF THE ALTERNATIVE SET-THEORY
TZOUVARAS, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (02) : 452 - 460
[10] CONSTRUCTIVE SET-THEORY WITH TYPES, CONSISTENCY WITH THE CHURCH THESIS
KASHAPOVA, FR
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1984, (04): : 72 - 75

← 1 2 3 4 5 →