THEORIES AS CATEGORIES AND COMPLETENESS THEOREM

被引：0

|

作者：

LAWVERE, FW

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1967年 / 32卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：562 / &

相关论文

共 50 条

[1] A COMPLETENESS THEOREM FOR THEORIES OF KIND W
BLOOM, SL
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 507 - &
[2] The completeness theorem for monads in categories of sorted sets
Vidal, JC
Tur, JS
HOUSTON JOURNAL OF MATHEMATICS, 2005, 31 (01): : 103 - 129
[3] A COMPLETENESS THEOREM FOR THE LAMBEK CALCULUS OF SYNTACTIC CATEGORIES
DOSEN, K
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (03): : 235 - 241
[4] A COMPLETENESS THEOREM FOR W4-THEORIES - PRELIMINARY REPORT
KAGAN, JD
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (02): : 392 - &
[5] A completeness theorem for extended order dependencies on relational attribute models in dedekind categories
Okuma, H
Kawahara, Y
RELATIONAL METHODS IN COMPUTER SCIENCE, 2002, 2561 : 152 - 170
[6] A completeness theorem
Boas, RP
AMERICAN JOURNAL OF MATHEMATICS, 1940, 62 : 312 - 318
[7] Completeness of †-categories and the complex numbers
Vicary, Jamie
JOURNAL OF MATHEMATICAL PHYSICS, 2011, 52 (08)
[8] INTERNAL COMPLETENESS OF CATEGORIES OF DOMAINS
TAYLOR, P
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 449 - 465
[9] THEORIES AS CATEGORIES
FOURMAN, MP
VICKERS, S
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 434 - 448
[10] A relative completeness theorem
Vajaitu, Viorel
ARCHIV DER MATHEMATIK, 2019, 112 (01) : 61 - 69

← 1 2 3 4 5 →