Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability

&
Journal of Symbolic Logic 24 (1):58 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964584

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
A Löwenheim-Skolem Theorem for Cardinals for Apart.R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski - 1968 - Journal of Symbolic Logic 33 (3):476-477.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
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.
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.
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.
A" downwards Lowenheim-Skolem-Tarski theorem" for specific uniform structures.Roland Hinnion - 2013 - Logique Et Analyse 56 (222):149-156.
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.
Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem. [REVIEW]Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
Rasiowa H. and Sikorski R.. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 , pp. 230–232.Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
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.
A Note on Applications of the Löwenheim‐Skolem‐Theorem in General Topology.Ingo Bandlow - 1989 - Mathematical Logic Quarterly 35 (3):283-288.
Tarski-Vaught and Löwenheim-Skolem numbers.G. Weaver - 1975 - Logique Et Analyse 18 (69):103.
On Transferring Model Theoretic Theorems of $${\mathcal{L}_{{\infty},\omega}}$$ L ∞, ω in the Category of Sets to a Fixed Grothendieck Topos.Nathanael Leedom Ackerman - 2014 - Logica Universalis 8 (3-4):345-391.
A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology.Ingo Bandlow - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):283-288.

Analytics

Added to PP
2013-11-22

Downloads
48 (#339,852)

6 months
15 (#185,076)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dana Scott
Carnegie Mellon University

Citations of this work

Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.

Add more citations

References found in this work

No references found.

Add more references