Proofs of the compactness theorem

DOI10.1080/01445340903495340MaRDI QIDQ3590048zbMATH OpenOpenAlexWikidataFDO

Authors Alexander Paseau

Publication date 17 September 2010

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445340903495340

zbMATH Keywords

mathematical explanationphilosophical study of the compactness theorem

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)

Recommendations

• scientific article; zbMATH DE number 1549026
• Two notions of compactness in Gödel logics
• Counting proofs in propositional logic
• scientific article; zbMATH DE number 39878
• scientific article; zbMATH DE number 120350

Cites work

• A new proof of the compactness theorem for propositional logic
• Axiomatic Treatment of Rank in Infinite Sets
• Explanation, Independence and Realism in Mathematics
• Generalizing Konig's infinity lemma
• scientific article; zbMATH DE number 46153 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• Logic with the quantifier “there exist uncountably many”
• Mathematical Explanation and the Theory of Why-Questions
• Surrealist landscape with figures (a survey of recent results in set theory)
• The compactness of first-order logic:from gödel to lindström
• The completeness of the first-order functional calculus
• Why Do Mathematicians Re-prove Theorems?

Cited in

(8)

• Counting proofs in propositional logic
• A compactness theorem for Fueter sections
• scientific article; zbMATH DE number 39878 (Why is no real title available?)
• scientific article; zbMATH DE number 120350 (Why is no real title available?)
• An Inductive Proof of the Compactness of the Closed Unit Ball of an Arbitrary Dimension
• scientific article; zbMATH DE number 3310361 (Why is no real title available?)
• A Topological-algebraic Approach to the Compactness Theorem of Classical Logic
• Two notions of compactness in Gödel logics

This page was built for publication: Proofs of the compactness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3590048)