The compactness of first-order logic:from gödel to lindström

DOI10.1080/01445349308837208zbMath0794.03001OpenAlexW1970702421WikidataQ54087188 ScholiaQ54087188MaRDI QIDQ3141183

John W. jun. Dawson

Publication date: 28 August 1994

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

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

zbMATH Keywords

compactness theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03)

Related Items

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity ⋮ A Topological-algebraic Approach to the Compactness Theorem of Classical Logic ⋮ Completeness and categoricity: Frege, gödel and model theory ⋮ Proofs of the Compactness Theorem ⋮ The Context of Inference

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Historique de la notion de compacite
• On the metamathematics of algebra
• Definitions of compact
• Boolean Algebras and Their Application to Topology
• The completeness of the first-order functional calculus
• Fragments of the propositional calculus
• Definability and decision problems in arithmetic
• Completeness in the theory of types
• An Embedding Theorem for Algebric Systems
• Note on An Embedding Theorem for Algebraic Systems