ON CERTAIN ELEMENTARY EXTENSIONS OF MODELS OF SET-THEORY

被引：13

|

作者：

ENAYAT, A

机构：

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1984年 / 283卷 / 02期

关键词：

D O I：

10.2307/1999156

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：705 / 715

页数：11

相关论文

共 50 条

[31] FINITE APPROXIMATION OF MODELS OF SET-THEORY
WEINGART.P
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 415 - 416
[32] RECURSIVELY SATURATED MODELS OF SET-THEORY
SCHLIPF, JS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 80 (01) : 135 - 142
[33] TRUTH IN ALL OF CERTAIN WELL-FOUNDED COUNTABLE MODELS ARISING IN SET-THEORY
ROSENTHAL, JW
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (02): : 97 - 106
[34] DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET-THEORY .7. VALIDITY IN SET-THEORY WHEN A CHOICE OPERATOR IS PRESENT
FERRO, A
OMODEO, EG
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 1987, 40 (03) : 265 - 280
[35] ORDER TYPES OF ORDINALS IN MODELS OF SET-THEORY
HUTCHINSON, JE
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 489 - 502
[36] COMPLETE TOPOI REPRESENTING MODELS OF SET-THEORY
BLASS, A
SCEDROV, A
ANNALS OF PURE AND APPLIED LOGIC, 1992, 57 (01) : 1 - 26
[37] SOME DESCRIPTIVE SET-THEORY AND CORE MODELS
WELCH, PD
ANNALS OF PURE AND APPLIED LOGIC, 1988, 39 (03) : 273 - 290
[38] INTERSECTIONS OF ITERATED ULTRAPOWERS OF MODELS IN SET-THEORY
DEHORNOY, P
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 282 (17): : 935 - 937
[39] ON THE STANDARD PART OF NONSTANDARD MODELS OF SET-THEORY
MAGIDOR, M
SHELAH, S
STAVI, J
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (01) : 33 - 38
[40] WEAKLY COMPACT CARDINALS IN MODELS OF SET-THEORY
ENAYAT, A
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 476 - 486

← 1 2 3 4 5 →