THEORIES AS CATEGORIES AND COMPLETENESS THEOREM

被引：0

作者：

LAWVERE, FW

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：562 / &

共 50 条

[41] A COMPLETENESS THEOREM FOR OPEN MAPS
JOYAL, A
MOERDIJK, I
ANNALS OF PURE AND APPLIED LOGIC, 1994, 70 (01) : 51 - 86
[42] A completeness theorem for formal topologies
Valentini, S
LOGIC AND ALGEBRA, 1996, 180 : 689 - 702
[43] A STRONG COMPLETENESS THEOREM FOR PRAGMATICS
VANDERVEKEN, D
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (02): : 151 - 160
[44] COMPLETENESS THEOREM OF PALEY AND WIENER
YOUNG, RM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1979, 76 (02) : 349 - 350
[45] A COMPLETENESS THEOREM IN MODAL LOGIC
BAYART, A
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 276 - &
[46] Standard completeness theorem for ΠMTL
Rostislav Horĉík
Archive for Mathematical Logic, 2005, 44 : 413 - 424
[47] COMPLETENESS THEOREM FOR CORRELATION LATTICES
SCHWEIGERT, D
SZYMANSKA, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (05): : 427 - 434
[48] A COMPLETENESS THEOREM FOR TENSE LOGIC
COCCHIARELLA, NB
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 689 - +
[49] THEOREM OF COMPLETENESS FOR TOPOLOGICAL MODELS
SIDORCHUK, OD
DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1983, (07): : 73 - 76
[50] AN INTERPRETATION OF COMPLETENESS AND BASU THEOREM
LEHMANN, EL
JOURNAL OF THE AMERICAN STATISTICAL ASSOCIATION, 1981, 76 (374) : 335 - 340