THEORIES AS CATEGORIES AND COMPLETENESS THEOREM

被引：0

|

作者：

LAWVERE, FW

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：562 / &

相关论文

共 50 条

[21] ON COMPLETENESS AND COCOMPLETENESS IN AND AROUND SMALL CATEGORIES
PAVLOVIC, D
ANNALS OF PURE AND APPLIED LOGIC, 1995, 74 (02) : 121 - 152
[22] CAUCHY COMPLETENESS FOR DG-CATEGORIES
Nikolic, Branko
Street, Ross
Tendas, Giacomo
THEORY AND APPLICATIONS OF CATEGORIES, 2021, 37 : 940 - +
[23] COMPLETENESS AND COCOMPLETENESS FOR CATEGORIES OF LINEAR SPACES
WILBUR, WJ
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 286 - &
[24] Godel's Completeness Theorem
Braselmann, Patrick
Koepke, Peter
FORMALIZED MATHEMATICS, 2005, 13 (01): : 49 - 53
[25] COMPLETENESS THEOREM IN THEORY OF COUNTERFACTUALS
KRABBE, ECW
JOURNAL OF PHILOSOPHICAL LOGIC, 1978, 7 (01) : 91 - 93
[26] CONVERSE OF BARWISE COMPLETENESS THEOREM
STAVI, J
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (04) : 594 - 612
[27] GLEASON THEOREM AND COMPLETENESS CRITERIA
DVURECENSKIJ, A
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (12) : 2377 - 2388
[28] COMPLETENESS THEOREM FOR OPERATOR SPACES
MANNE, R
CHEMICAL PHYSICS LETTERS, 1977, 45 (03) : 470 - 472
[29] COMPLETENESS CONDITIONS FOR INDETERMINISTIC THEORIES
HALPIN, JF
PHILOSOPHICAL STUDIES, 1986, 49 (03) : 373 - 384
[30] Parametric Completeness for Separation Theories
Brotherston, James
Villard, Jules
ACM SIGPLAN NOTICES, 2014, 49 (01) : 453 - 464

← 1 2 3 4 5 →