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

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

There is no recursive link between the k-size of a model and its cardinality.R. Barker - 2002 - Annals of Pure and Applied Logic 118 (3):235-247.
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.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.
On löwenheim–skolem–tarski numbers for extensions of first order logic.Menachem Magidor & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):87-113.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
The Limits of Logic: Higher-order Logic and the Löwenheim-Skolem Theorem.Stewart Shapiro - 1996 - Routledge.
A Löwenheim‐Skolem Theorem for Inner Product Spaces.Wilfried Meissner - 1982 - Mathematical Logic Quarterly 28 (33‐38):549-556.
A Note on Applications of the Löwenheim‐Skolem‐Theorem in General Topology.Ingo Bandlow - 1989 - Mathematical Logic Quarterly 35 (3):283-288.
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.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.

Analytics

Added to PP
2013-12-01

Downloads
40 (#560,724)

6 months
8 (#580,966)

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