Bulletin of Symbolic Logic 13 (2):189-225 (2007)
The Löwenheim-Skolem theorem was published in Skolem's long paper of 1920, with the first section dedicated to the theorem. The second section of the paper contains a proof-theoretical analysis of derivations in lattice theory. The main result, otherwise believed to have been established in the late 1980s, was a polynomial-time decision algorithm for these derivations. Skolem did not develop any notation for the representation of derivations, which makes the proofs of his results hard to follow. Such a formal notation is given here by which these proofs become transparent. A third section of Skolem's paper gives an analysis for derivations in plane projective geometry. To clear a gap in Skolem's result, a new conservativity property is shown for projective geometry, to the effect that a proper use of the axiom that gives the uniqueness of connecting lines and intersection points requires a conclusion with proper cases (logically, a disjunction in a positive part) to be proved. The forgotten parts of Skolem's first paper on the Löwenheim-Skolem theorem are the perhaps earliest combinatorial analyses of formal mathematical proofs, and at least the earliest analyses with profound results
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Natural Deduction with General Elimination Rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
Contraction-Free Sequent Calculi for Geometric Theories with an Application to Barr's Theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.
The Axioms of Constructive Geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.
Decision Methods for Linearly Ordered Heyting Algebras.Sara Negri & Roy Dyckhoff - 2005 - Archive for Mathematical Logic 45 (4):411-422.
Citations of this work BETA
Combinatorial Analysis of Proofs in Projective and Affine Geometry.Jan von Plato - 2010 - Annals of Pure and Applied Logic 162 (2):144-161.
Generality and Existence: Quantificational Logic in Historical Perspective.Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (4):417-448.
Similar books and articles
Reflections on Skolem's Relativity of Set-Theoretical Concepts.Ignagio Jane - 2001 - Philosophia Mathematica 9 (2):129-153.
A Proof of the Löwenheim-Skolem Theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
Sur la Porté du Théorème Löwenheim-Skolem.Thoralf Skolem - 1941 - In Selected Works in Logic. Universitetsforlaget. pp. 455--82.
Reflections on Skolem's Paradox.Timothy Bays - 2000 - Dissertation, University of California, Los Angeles
A Downward Löwenheim-Skolem Theorem for Infinitary Theories Which Have the Unsuperstability Property.Rami Grossberg - 1988 - Journal of Symbolic Logic 53 (1):231-242.
Extensions of Gödel's Completeness Theorem and the Löwenheim-Skolem Theorem.Stephen L. Bloom - 1973 - Notre Dame Journal of Formal Logic 14 (3):408-410.
Skolem's Paradox.Timothy Bays - 2009 - In Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy.
Skolem and the Löwenheim-Skolem Theorem: A Case Study of the Philosophical Significance of Mathematical Results.Alexander George - 1985 - History and Philosophy of Logic 6 (1):75-89.
Added to index2009-02-05
Total downloads211 ( #18,461 of 2,164,555 )
Recent downloads (6 months)1 ( #347,950 of 2,164,555 )
How can I increase my downloads?