Proofs of the Compactness Theorem

被引：3

作者：

Paseau, Alexander ^{[1
]}

机构：

[1] Univ Oxford Wadham Coll, Oxford OX1 3PN, England

来源：

HISTORY AND PHILOSOPHY OF LOGIC | 2010年 / 31卷 / 01期

关键词：

EXPLANATION;

D O I：

10.1080/01445340903495340

中图分类号：

B82 [伦理学（道德学）];

学科分类号：

摘要：

In this study, several proofs of the compactness theorem for propositional logic with countably many atomic sentences are compared. Thereby some steps are taken towards a systematic philosophical study of the compactness theorem. In addition, some related data and morals for the theory of mathematical explanation are presented.

引用

下载

页码：73 / 98

页数：26

共 50 条

[21] THE EARLY PROOFS OF SYLOW THEOREM
WATERHOUSE, WC
ARCHIVE FOR HISTORY OF EXACT SCIENCES, 1980, 21 (03) : 279 - 290
[22] NEW PROOFS OF A THEOREM OF KOMLOS
SCHWARTZ, M
ACTA MATHEMATICA HUNGARICA, 1986, 47 (1-2) : 181 - 185
[23] On the Compactness Theorem for Differential Forms
V. I. Kuz'minov
I. A. Shvedov
Siberian Mathematical Journal, 2003, 44 (1) : 107 - 115
[24] A COMPACTNESS THEOREM FOR COMPLETE SEPARATORS
DIESTEL, R
ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG, 1990, 60 : 149 - 151
[25] A compactness theorem in Riemannian manifolds
Soylu Y.
Journal of Geometry, 2018, 109 (1)
[26] AN LP THEOREM FOR COMPENSATED COMPACTNESS
ZHOU, Y
PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, 1992, 122 : 177 - 189
[27] ANALYTIC PROOFS OF A NETWORK FEASIBILITY THEOREM AND A THEOREM OF FULKERSON
HOUCK, DJ
PITTENGER, AO
LINEAR ALGEBRA AND ITS APPLICATIONS, 1979, 24 (APR) : 151 - 156
[28] Proofs of Theorem 1.5, Part (ii) and Theorem 1.6
Taira, Kazuaki
BOUNDARY VALUE PROBLEMS AND MARKOV PROCESSES: FUNCTIONAL ANALYSIS METHODS FOR MARKOV PROCESSES, 3RD EDITION, 2020, 1499 : 359 - 399
[29] A GEOMETRIC PROOF OF THE MUMFORD COMPACTNESS THEOREM
TOMI, F
TROMBA, AJ
LECTURE NOTES IN MATHEMATICS, 1988, 1306 : 174 - 181
[30] A Minimax Theorem Without Compactness Hypothesis
Maurizio Pratelli
Mediterranean Journal of Mathematics, 2005, 2 : 103 - 112

← 1 2 3 4 5 →