A NOTE ON THE COMPACTNESS THEOREM IN 1ST ORDER LOGIC

被引：1

|

作者：

WEAVER, G

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1980年 / 26卷 / 02期

关键词：

D O I：

10.1002/malq.19800260704

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：111 / 113

页数：3

相关论文

共 50 条

[1] A NOTE ON THE INTERPOLATION THEOREM IN 1ST ORDER LOGIC
WEAVER, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 215 - 218
[2] 1ST ORDER DATA-TYPES AND 1ST ORDER LOGIC
TREINEN, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 594 - 614
[3] NOTE ON MALMQUISTS THEOREM ON 1ST ORDER ALGEBRAIC DIFFERENTIAL-EQUATIONS
YOSIDA, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1977, 53 (03): : 120 - 123
[4] 1ST ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 319 - 320
[5] A 1ST ORDER PROOF OF A THEOREM OF FRINK
PADMANABHAN, R
ALGEBRA UNIVERSALIS, 1981, 13 (03) : 397 - 400
[6] A 1ST ORDER LOGIC FOR PARTIAL FUNCTIONS
LUCIOCARRASCO, F
GAVILANESFRANCO, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 47 - 58
[7] 1ST ORDER MATHEMATICAL LOGIC - MARGARIS,A
KENIG, HP
REVIEW OF METAPHYSICS, 1968, 21 (03): : 556 - 556
[8] ABSTRACTION IN 1ST ORDER MODAL LOGIC
STALNAKER, RC
THOMASON, RH
THEORIA, 1968, 34 : 203 - 207
[9] A 1ST ORDER LOGIC FOR PARTIAL FUNCTIONS
GAVILANESFRANCO, A
LUCIOCARRASCO, F
THEORETICAL COMPUTER SCIENCE, 1990, 74 (01) : 37 - 69
[10] UNIFORM COMPACTNESS THEOREM IN FIRST-ORDER LOGIC
WEAVER, GE
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A588 - A588

← 1 2 3 4 5 →