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

History and Philosophy of Logic 14 (1):15-37 (1993)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1080/01445349308837208

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Two notions of compactness in Gödel logics.Petr Cintula - 2005 - Studia Logica 81 (1):99-123.
John von Neumann’s Discovery of the 2nd Incompleteness Theorem.Giambattista Formica - 2022 - History and Philosophy of Logic 44 (1):66-90.
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
Church's Undecidability Theorem (1936): Formulation and presentation of the main ideas of its demonstration.Franklin Galindo & Ricardo José Da Silva - 2017 - Apuntes Filosóficos 26 (50):8-31.
The Compactness of Gödel Logic.J. P. Aguilera - forthcoming - Journal of Symbolic Logic:1-9.
Review: Kurt Godel, John Dawson, A Property of the Realizations of the Propositional Calculus (1932c); W. V. Quine, Introductory note to 1932c. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.
Kurt Gödel, paper on the incompleteness theorems (1931).Richard Zach - 2004 - In Ivor Grattan-Guinness (ed.), Landmark Writings in Mathematics. North-Holland. pp. 917-925.

Analytics

Added to PP
2010-08-10

Downloads
123 (#176,680)

6 months
11 (#345,260)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.

View all 25 references / Add more references