Proofs of the Compactness Theorem
From MaRDI portal
Publication:3590048
DOI10.1080/01445340903495340zbMath1202.03013OpenAlexW1988201588WikidataQ58515771 ScholiaQ58515771MaRDI QIDQ3590048
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
Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Surrealist landscape with figures (a survey of recent results in set theory)
- Generalizing Konig's infinity lemma
- A new proof of the compactness theorem for propositional logic
- The compactness of first-order logic:from gödel to lindström
- Explanation, Independence and Realism in Mathematics
- Mathematical Explanation and the Theory of Why-Questions
- Why Do Mathematicians Re-prove Theorems?
- Logic with the quantifier “there exist uncountably many”
- Axiomatic Treatment of Rank in Infinite Sets
- The completeness of the first-order functional calculus