Proofs of the Compactness Theorem
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 mathematic...
Main Author: | |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2010
|