UNDEFINABLE CLASSES AND DEFINABLE ELEMENTS IN MODELS OF SET-THEORY AND ARITHMETIC

被引：7

作者：

ENAYAT, A

机构：

来源：

关键词：

D O I：

10.2307/2047116

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：1216 / 1220

页数：5

共 50 条

[1] POINTWISE DEFINABLE MODELS OF ARITHMETIC AND SET-THEORY
SIMPSON, SG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (04): : A447 - A447
[2] 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
[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] SET-THEORY OVER CLASSES
FRIEDRICHSDORF, U
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (04): : 379 - 383
[6] OMITTING TYPES IN SET-THEORY AND ARITHMETIC
KNIGHT, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 25 - 32
[7] OMITTING TYPES IN ARITHMETIC AND SET-THEORY
KNIGHT, JF
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A588 - A589
[8] DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET-THEORY
YANKOV, VA
[J]. RUSSIAN ACADEMY OF SCIENCES IZVESTIYA MATHEMATICS, 1995, 44 (03): : 571 - 600
[9] NONEMPTINESS OF CLASSES IN AXIOMATIC SET-THEORY
KANOVEI, VG
[J]. MATHEMATICS OF THE USSR-IZVESTIYA, 1978, 12 (03): : 507 - 535
[10] MODELS OF THE ALTERNATIVE SET-THEORY
PUDLAK, P
SOCHOR, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 570 - 585