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 条

[41] ALEXANDERS THEOREM FOR REAL-COMPACTNESS
HAYES, A
PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY-MATHEMATICAL AND PHYSICAL SCIENCES, 1968, 64 : 41 - &
[42] A PROOFLESS PROOF OF THE BARWISE COMPACTNESS THEOREM
HOWARD, MG
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (03) : 885 - 885
[43] COMPACTNESS DEGREE AND A GENERALIZATION OF THE TYCHONOFF THEOREM
LI, BH
FENG, HQ
ACTA MATHEMATICA SCIENTIA, 1990, 10 (04) : 422 - 426
[44] A COMPACTNESS THEOREM FOR PERFECT MATCHINGS IN MATROIDS
KOMJATH, P
MILNER, EC
POLAT, N
JOURNAL OF COMBINATORIAL THEORY SERIES B, 1988, 44 (03) : 253 - 262
[45] A NEW PROOF OF THE SBV COMPACTNESS THEOREM
AMBROSIO, L
CALCULUS OF VARIATIONS AND PARTIAL DIFFERENTIAL EQUATIONS, 1995, 3 (01): : 127 - 137
[46] NEW COMPACTNESS THEOREM FOR INFINITARY LOGIC
STARK, WR
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A36 - A36
[47] Short Proofs of the Quantum Substate Theorem
Jain, Rahul
Nayak, Ashwin
IEEE TRANSACTIONS ON INFORMATION THEORY, 2012, 58 (06) : 3664 - 3669
[48] Two proofs of Graves's theorem
Poorrezaei, K
AMERICAN MATHEMATICAL MONTHLY, 2003, 110 (09): : 826 - 830
[49] Two proofs of Fine's theorem
Halliwell, J. J.
PHYSICS LETTERS A, 2014, 378 (40) : 2945 - 2950
[50] Inducing theorem provers from proofs
Lopes, RHC
Tarver, M
NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 157 - 164

← 1 2 3 4 5 →