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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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.
What is mathematical logic?John Corcoran & Stewart Shapiro - 1978 - Philosophia 8 (1):79-94.
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.
Review: R. L. Vaught, J. W. Addison, Leon Henkin, Alfred Tarski, A Lowenheim-Skolem Theorem for Cardinals for Apart. [REVIEW]G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):476-477.
John von Neumann’s Discovery of the 2nd Incompleteness Theorem.Giambattista Formica - 2022 - History and Philosophy of Logic 44 (1):66-90.
Kurt Gödel. Ein Spezialfall des Entscheidungsproblems der theoretischen Logik . A reprint of 4187. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 230–234. - Kurt Gödel. A special case of the decision problem for theoretical logic . English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 231– 235. - Kurt Gödel. Zum Entscheidungsproblem des logischen Funktionenkalüls . A reprint of 41813. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-345.
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.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
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.

Analytics

Added to PP
2010-08-10

Downloads
111 (#46,939)

6 months
14 (#987,135)

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.
The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.

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. Edited by C. Truesdell.
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.

View all 27 references / Add more references