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

DOI10.1080/01445349308837208MaRDI QIDQ3141183zbMATH OpenOpenAlexWikidataFDO

Authors 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) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 1549026
• scientific article; zbMATH DE number 3935021
• scientific article; zbMATH DE number 4075003
• Compactness in first-order Gödel logics
• Alfred Tarski's work in model theory

Cites work

• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3348095 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• An Embedding Theorem for Algebric Systems
• Boolean Algebras and Their Application to Topology
• Completeness in the theory of types
• Definability and decision problems in arithmetic
• Definitions of compact
• Fragments of the propositional calculus
• Historique de la notion de compacite
• Note on An Embedding Theorem for Algebraic Systems
• On the metamathematics of algebra
• The completeness of the first-order functional calculus

Cited in

(7)

• A Topological-algebraic Approach to the Compactness Theorem of Classical Logic
• Proofs of the compactness theorem
• scientific article; zbMATH DE number 4072898 (Why is no real title available?)
• scientific article; zbMATH DE number 1549026 (Why is no real title available?)
• Completeness and categoricity: Frege, gödel and model theory
• The context of inference
• Measure-based inconsistency-tolerant maintenance of database integrity

This page was built for publication: The compactness of first-order logic:from gödel to lindström

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