OMITTING TYPES IN SET-THEORY AND ARITHMETIC

被引：3

作者：

KNIGHT, JF ^{[1
]}

机构：

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

来源：

JOURNAL OF SYMBOLIC LOGIC | 1976年 / 41卷 / 01期

关键词：

D O I：

10.2307/2272941

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：25 / 32

页数：8

共 50 条

[1] OMITTING TYPES IN ARITHMETIC AND SET-THEORY
KNIGHT, JF
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A588 - A589
[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 →