The compactness of first-order logic:from gödel to lindström
History and Philosophy of Logic 14 (1):15-37 (1993)
| Abstract | Though regarded today as one of the most important results in logic, the compactness theorem was largely ignored until nearly two decades after its discovery. This paper describes the vicissitudes of its evolution and transformation during the period 1930-1970, with special attention to the roles of Kurt Gödel, A. I. Maltsev, Leon Henkin, Abraham Robinson, and Alfred Tarski | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohan van Benthem (2007). A New Modal Lindström Theorem. Logica Universalis 1 (1).
John W. Dawson, Jr & Cheryl A. Dawson (2005). Future Tasks for Gödel Scholars. The Bulletin of Symbolic Logic 11 (2):150 - 171.
John W. Dawson Jr & Cheryl A. Dawson (2005). Future Tasks for Gödel Scholars. The Bulletin of Symbolic Logic 11 (2):150 - 171.
John W. Dawson Jr & Cheryl A. Dawson (2005). Future Tasks for Gödel Scholars. The Bulletin of Symbolic Logic 11 (2):150 - 171.
Jan von Plato (2003). Skolem's Discovery of Gödel-Dummett Logic. Studia Logica 73 (1):153 - 157.
Mark Howard (1988). A Proofless Proof of the Barwise Compactness Theorem. Journal of Symbolic Logic 53 (2):597-602.
Alexander Paseau (2011). Proofs of the Compactness Theorem. History and Philosophy of Logic 31 (1):73-98.
Matt Kaufmann (1984). Filter Logics on Ω. Journal of Symbolic Logic 49 (1):241-256.
Petr Cintula (2005). Two Notions of Compactness in Gödel Logics. Studia Logica 81 (1):99 - 122.
Analytics
Monthly downloads |
Added to index2010-08-10Total downloads16 ( #74,649 of 549,049 )Recent downloads (6 months)1 ( #63,185 of 549,049 )How can I increase my downloads? |
My notes
Discussion
