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 条
  • [1] Proofs of the Compactness Theorem (vol 31, pg 73, 2010)
    Paseau, Alexander
    HISTORY AND PHILOSOPHY OF LOGIC, 2011, 32 (04) : 407 - 407
  • [2] COMPACTNESS THEOREM
    GILL, RRR
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 377 - 378
  • [3] PROOFS OF ORAIFEARTAIGHS THEOREM
    GALINDO, A
    NUOVO CIMENTO A, 1966, 45 (03): : 730 - +
  • [4] ''Proofs'' and proofs of the Eckart-Young theorem
    Chipman, JS
    STOCHASTIC PROCESSES AND FUNCTIONAL ANALYSIS, IN CELEBRATION OF M M RAO'S 65TH BIRTHDAY, 1997, 186 : 71 - 83
  • [5] PROOF OF COMPACTNESS THEOREM
    DANHOF, KJ
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (02): : 179 - 182
  • [6] A GENERAL COMPACTNESS THEOREM
    COLLINS, PJ
    PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY-MATHEMATICAL AND PHYSICAL SCIENCES, 1970, 68 : 351 - &
  • [7] COMPACTNESS THEOREM OF SHAFAAT,A
    MALCOLM, WG
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1972, 5 (NOV): : 719 - &
  • [8] Analyzing proofs based on weak sequential compactness
    Kohlenbach, Ulrich
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (47): : 1 - 2
  • [9] Analyzing proofs based on weak sequential compactness
    Kohlenbach, Ulrich
    Electronic Proceedings in Theoretical Computer Science, EPTCS, 2011, 47 : 1 - 2
  • [10] A compactness theorem in Finsler geometry
    Anastasiei, Mihai
    Peter, Ioan Radu
    PUBLICATIONES MATHEMATICAE-DEBRECEN, 2014, 84 (1-2): : 75 - 88
12345