A Topological-algebraic Approach to the Compactness Theorem of Classical Logic

DOI10.21146/2074-1472-2023-29-1-147-163OpenAlexW4378575783WikidataQ122926474 ScholiaQ122926474MaRDI QIDQ6075542

Unnamed Author

Publication date: 20 September 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2023-29-1-147-163

zbMATH Keywords

compactnessBoolean algebrastopologyclassical logicstone spaces

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new proof of the compactness theorem for propositional logic
• The compactness of first-order logic:from gödel to lindström
• Proofs of the Compactness Theorem
• Reduced direct products
• A Topology for the Space of Countable Models of a First Order Theory
• Model Theory
• Axiomatic Treatment of Rank in Infinite Sets

This page was built for publication: A Topological-algebraic Approach to the Compactness Theorem of Classical Logic