The compactness of first-order logic:from gödel to lindström
From MaRDI portal
Publication:3141183
DOI10.1080/01445349308837208zbMATH Open0794.03001OpenAlexW1970702421WikidataQ54087188 ScholiaQ54087188MaRDI QIDQ3141183FDOQ3141183
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
Recommendations
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The completeness of the first-order functional calculus
- Completeness in the theory of types
- Definability and decision problems in arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
- An Embedding Theorem for Algebric Systems
- On the metamathematics of algebra
- Boolean Algebras and Their Application to Topology
- Definitions of compact
- Note on An Embedding Theorem for Algebraic Systems
- Historique de la notion de compacite
- Title not available (Why is that?)
- Fragments of the propositional calculus
Cited In (7)
- Proofs of the compactness theorem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness and categoricity: Frege, gödel and model theory
- The context of inference
- Measure-based inconsistency-tolerant maintenance of database integrity
- A Topological-algebraic Approach to the Compactness Theorem of Classical Logic
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)
