RECURSIVELY SATURATED MODELS OF SET-THEORY

被引：4

作者：

SCHLIPF, JS ^{[1
]}

机构：

[1] CALTECH,DEPT MATH,PASADENA,CA 91109

来源：

关键词：

D O I：

10.2307/2042160

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：135 / 142

页数：8

共 50 条

[1] MODELS OF THE ALTERNATIVE SET-THEORY
PUDLAK, P
SOCHOR, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 570 - 585
[2] TYPE THEORY AND MODELS OF SET-THEORY
MIJOULE, R
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 283 (10): : 733 - 735
[3] DEFINABILITY IN MODELS OF SET-THEORY
GUASPARI, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 9 - 19
[4] SHEAF MODELS FOR SET-THEORY
FOURMAN, MP
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1980, 19 (DEC) : 91 - 101
[5] ON TOPOLOGICAL MODELS OF SET-THEORY
CIRIC, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1063 - 1063
[6] A HIERARCHY OF MODELS FOR SKALA SET-THEORY
KUHNRICH, M
SCHULTZ, K
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (06): : 555 - 559
[7] A CLASS OF MODELS FOR SKALAS SET-THEORY
GRECO, A
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (03): : 277 - 282
[8] TOPOLOGICAL MODELS OF EPISTEMIC SET-THEORY
GOODMAN, ND
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1990, 46 (02) : 147 - 167
[9] GENERALIZED QUANTIFIERS IN MODELS OF SET-THEORY
DUBIEL, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 448 - 448
[10] TRANSITIVE MODELS FOR FRAGMENTS OF SET-THEORY
MAREK, W
SREBRNY, M
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (05): : 389 - 392