A CATEGORY-THEORETIC APPROACH TO BOOLEAN-VALUED MODELS OF SET-THEORY

被引：1

|

作者：

MONRO, GP

机构：

来源：

JOURNAL OF PURE AND APPLIED ALGEBRA | 1986年 / 42卷 / 03期

关键词：

D O I：

10.1016/0022-4049(86)90010-1

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：245 / 274

页数：30

相关论文

共 50 条

[1] BOOLEAN-VALUED MODELS OF SET-THEORY WITH AUTOMORPHISMS
HERNANDEZ, EG
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (02): : 117 - 131
[2] SUBDIFFERENTIALS IN BOOLEAN-VALUED MODELS OF SET-THEORY
KUSRAEV, AG
KUTATELADZE, SS
[J]. SIBERIAN MATHEMATICAL JOURNAL, 1983, 24 (05) : 735 - 746
[3] AXIOMATIC CHARACTERIZATION OF BOOLEAN-VALUED MODELS FOR SET-THEORY
KOSCIELS.A
[J]. COLLOQUIUM MATHEMATICUM, 1973, 27 (02) : 165 - 170
[4] BOOLEAN-VALUED MODELS AND INDEPENDENCE PROOFS IN SET-THEORY - BELL,JL
REIX, A
[J]. REVUE PHILOSOPHIQUE DE LOUVAIN, 1980, 78 (37) : 148 - 149
[5] ORDER-CONTINUOUS FUNCTIONALS IN BOOLEAN-VALUED MODELS OF SET-THEORY
KUSRAEV, AG
[J]. SIBERIAN MATHEMATICAL JOURNAL, 1984, 25 (01) : 57 - 65
[6] A CATEGORY FOR BOOLEAN-VALUED MODELS
MONRO, GP
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1428 - 1428
[7] 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
[8] Boolean-Valued Models of Set Theory with Urelements
Wu, Xinhe
Yao, Bokai
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2024, 65 (02) : 203 - 227
[9] A UNIFIED TREATMENT OF FUZZY SET-THEORY AND BOOLEAN-VALUED SET-THEORY - FUZZY SET STRUCTURES AND NORMAL FUZZY SET STRUCTURES
JINWEN, Z
[J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1980, 76 (01) : 297 - 301
[10] Constructive set theories and their category-theoretic models
Simpson, Alex
[J]. FROM SETS AND TYPES TO TOPOLOGY AND ANALYSIS: TOWARDS PRACTICABLE FOUNDATIONS FOR CONSTRUCTIVE MATHEMATICS, 2005, 48 : 41 - 61

← 1 2 3 4 5 →