Some Remarks on Finite Löwenheim‐Skolem Theorems

Mathematical Logic Quarterly 42 (1):569-571 (1996)
  Copy   BIBTEX

Abstract

We discuss several possible extensions of the classical Löwenheim-Skolem Theorem to finite structures and give a counterexample refuting almost all of them

Categories

Keywords

Reprint years

DOI

10.1002/malq.19960420145

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
Review: David W. Kueker, Lowenheim-Skolem and Interpolation Theorems in Infinitary Languages; K. Jon Barwise, Mostowski's Collapsing Function and the Closed Unbounded Filter; David W. Kueker, Countable Approximations and Lowenheim-Skolem Theorems. [REVIEW]Victor Harnik - 1986 - Journal of Symbolic Logic 51 (1):232-234.
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.
Reflections on Skolem's Paradox.Timothy Bays - 2000 - Dissertation, University of California, Los Angeles
In the shadows of the löwenheim-Skolem theorem: Early combinatorial analyses of mathematical proofs.Jan von Plato - 2007 - Bulletin of Symbolic Logic 13 (2):189-225.
Skolem's Paradox.Timothy Bays - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
Are Mathematical Theories Reducible to Non-analytic Foundations?Stathis Livadas - 2013 - Axiomathes 23 (1):109-135.
A note on extensions of infinitary logic.Saharon Shelah & Jouko Väänänen - 2005 - Archive for Mathematical Logic 44 (1):63-69.
Hilary Putnam.Hilary Putnam - unknown
Compactness, the löwenheim‐skolem property and the direct product of lattices of truth values.Mingsheng Ying - 1992 - Mathematical Logic Quarterly 38 (1):521-524.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
Sur la Porté du Théorème Löwenheim-Skolem.Thoralf Skolem - 1941 - In Selected Works in Logic. Universitetsforlaget. pp. 455--82.

Analytics

Added to PP
2013-12-01

Downloads
28 (#555,203)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The concept of truth in a finite universe.Panu Raatikainen - 2000 - Journal of Philosophical Logic 29 (6):617-633.

Add more citations

References found in this work

No references found.

Add more references