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...

Full description

Bibliographic Details
Main Author: Paseau, A
Format: Journal article
Language:English
Published: 2010