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 条

[41] 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
[42] HEYTING VALUED SET-THEORY AND SATO HYPERFUNCTIONS
NISHIMURA, H
[J]. PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1986, 22 (04) : 801 - 811
[43] PARADOXES AND MANY-VALUED SET-THEORY
MAYDOLE, RE
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1975, 4 (03) : 269 - 291
[44] DEFINABILITY IN MODELS OF SET-THEORY
GUASPARI, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 9 - 19
[45] SHEAF MODELS FOR SET-THEORY
FOURMAN, MP
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1980, 19 (DEC) : 91 - 101
[46] SET-THEORETIC FOUNDATIONS FOR FUZZY SET-THEORY, AND THEIR APPLICATIONS
LANO, K
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 258 - 268
[47] 3-VALUED MODEL FOR SET-THEORY
ROSE, A
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (05): : 437 - 440
[48] ON TOPOLOGICAL MODELS OF SET-THEORY
CIRIC, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1063 - 1063
[49] Analysis of inconsistency in graph-based viewpoints: A category-theoretic approach
Sabetzadeh, M
Easterbrook, S
[J]. 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 12 - 21
[50] HEYTING VALUED SET-THEORY AND FIBER-BUNDLES
NISHIMURA, H
[J]. PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1988, 24 (02) : 225 - 247

← 1 2 3 4 5 →