Proofs of the Compactness Theorem
History and Philosophy of Logic 31 (1):73-98 (2011)
| Abstract | 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWalter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
Robert Goldblatt (2012). Topological Proofs of Some Rasiowa-Sikorski Lemmas. Studia Logica 100 (1-2):175-191.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
John W. Dawson (1993). The Compactness of First-Order Logic:From Gödel to Lindström. History and Philosophy of Logic 14 (1):15-37.
Michael Scanlan (1983). On Finding Compactness in Aristotle. History and Philosophy of Logic 4 (1&2):1-8.
Gillman Payette & Blaine D'Entremont (2006). Level Compactness. Notre Dame Journal of Formal Logic 47 (4):545-555.
John W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3).
Itamar Pitowsky (2004). Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem. Studies in History and Philosophy of Science Part B 35 (2):177-194.
Ehud Hrushovski & Itamar Pitowsky (2004). Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem. Studies in History and Philosophy of Science Part B 35 (2):177-194.
Mark Howard (1988). A Proofless Proof of the Barwise Compactness Theorem. Journal of Symbolic Logic 53 (2):597-602.
Analytics
Monthly downloads |
Added to index2010-07-27Total downloads46 ( #23,815 of 549,069 )Recent downloads (6 months)3 ( #25,703 of 549,069 )How can I increase my downloads? |
My notes
Discussion
