SHEAF MODELS FOR SET-THEORY

被引：30

作者：

FOURMAN, MP

机构：

来源：

关键词：

D O I：

10.1016/0022-4049(80)90096-1

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：91 / 101

页数：11

共 50 条

[1] EMBEDDING SHEAF MODELS FOR SET-THEORY INTO BOOLEAN-VALUED PERMUTATION MODELS WITH AN INTERIOR OPERATOR
SCEDROV, A
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (01) : 103 - 109
[2] MODELS OF THE ALTERNATIVE SET-THEORY
PUDLAK, P
SOCHOR, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 570 - 585
[3] 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
[4] DEFINABILITY IN MODELS OF SET-THEORY
GUASPARI, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 9 - 19
[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